1. P. Aubry, 1999
2. On the theories of triangular sets;Aubry;J. Symb. Comput.,1999
3. Gröbner Bases—A Computational Approach to Commutative Algebra;Becker,1993
4. F. Boulier, 1994
5. Representation for the radical of a finitely generated differential ideal;Boulier,1995