1. Arnon, D. S., (1988), A Bibliography for Quantifier Elimination for Real Closed Fields, J. Symbolic Computation
5, pp. 267–274.
2. Arnon, D. S. and McCallum, S., (1982), Cylindrical Algebraic Decomposition by Quantifier Elimination, Proceedings of the European Computer Algebra Conference (EUROCAM ’82),Springer Lect. Notes Comp. Sci. 144, pp. 215–222.
3. Benedetti, R. and Risler J.-J., (1990), Real Algebraic and Semi-Algebraic Sets, Hermann (Paris).
4. Collins, G. E., (1975), Quantifier Elimination for the Elementary Theory of Real Closed Fields by Cylindrical Algebraic Decomposition, Lect Notes Comput. Sci., 33, pp. 134–183.
5. Collins, G. E. and Loos, R., (1982), Reals Zeros of Polynomials, Symbolic and Algebraic Computations (Computing Supplementum 4), (ed. Buchberger, B., Collins, G. E. and Loos R.), Springer Verlag (Wien, New York), pp. 83–94.