1. Cylindrical algebraic decomposition I: the basic algorithm;Arnon;SIAM J. Comput.,1984
2. P. Aubry, F. Rouillier, M. Safey El Din
3. Simplification of truth-invariant cylindrical algebraic decompositions;Brown,1998
4. Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation;Caviness,1998
5. Quantifier Elimination for the Elementary Theory of Real Closed Fields by Cylindrical Algebraic Decomposition;Collins,1975