@misc{2373, author = {Bächler, Thomas and Gerdt, Vladimir P. and Lange-Hegermann, Markus and Robertz, Daniel}, title = {Algorithmic Thomas Decomposition of Algebraic and Differential Systems}, howpublished = {}, month = {Oct}, year = {2012}, note = {} }