1. Aubry, P., Lazard, D., Moreno Maza, M.: On the theories of triangular sets. J. Symb. Comp. 28(1-2), 105–124 (1999)
2. Bernstein, D.J.: Factoring into coprimes in essentially linear time. J. Algorithms 54(1), 1–30 (2005)
3. Boulier, F., Lemaire, F., Moreno Maza, M.: Well known theorems on triangular systems and the D5 principle. In: Proc. of Transgressive Computing 2006, Granada, Spain (2006)
4. Caviness, B., Johnson, J. (eds.): Quantifier Elimination and Cylindical Algebraic Decomposition, Texts and Mongraphs in Symbolic Computation. Springer, Heidelberg (1998)
5. Lecture Notes Series on Computing,2004