1. On the theories of triangular sets;Aubry;J. Symbolic Comput.,1999
2. Representation for the radical of a finitely generated differential ideal;Boulier,1995
3. Boulier, F., Lemaire, F., Moreno Maza, M., 2006. Well known theorems on triangular systems and the D5 principle. In: Proc. of Transgressive Computing 2006, Universidad de Granda.
4. Triangular decomposition of semi-algebraic systems;Chen,2010
5. Chen, C., Davenport, J.H., Lemaire, F., Moreno Maza, M., Phisanbut, N., Xia, B., Xiao, R., Xie, Y., 2011. Solving semi-algebraic systems with the RegularChains library in Maple. Ib Proc. of MACIS 2011, S. Ratschau Ed., pp. 38–51.