1. Detecting unnecessary reductions in an involutive basis computation;Apel;J. Symbolic Comput.,2005
2. On the theories of triangular sets;Aubry;J. Symbolic Comput.,1999
3. Thomas decomposition of algebraic and differential systems;Bächler,2010
4. Bächler, T., Lange-Hegermann, M., 2008–2012. AlgebraicThomas and DifferentialThomas: Thomas Decomposition for algebraic and differential systems (http://wwwb.math.rwth-aachen.de/thomasdecomposition/).
5. Blinkov, Y.A., Cid, C.F., Gerdt, V.P., Plesken, W., Robertz, D., 2003. The MAPLE package Janet : I. Polynomial systems. II. Linear partial differential equations. In: Proc. 6th Int. Workshop on Computer Algebra in Scientific Computing, Passau, Germany. pp. 31–40 and 41–54 (http://wwwb.math.rwth-aachen.de/Janet).