1. Chaouki T. Abdallah, Peter Dorato, Wei Yang, Richard Liska, and Stanly Steinberg. Applications of quantifier elimination theory to control system design. In Proceedings of the 4th IEEE Mediterranean Symposium on Control and Automation, pages 340–345. IEEE, 1996.
2. Mark de Berg, Marc van Kreveld, Mark Overmars, and Otfried Schwarzkopf. Computational Geometry, Algorithms and Applications. Springer, Berlin, Heidelberg, New York, 1997.
3. Bruno Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Doctoral dissertation, Mathematisches Institut, Universität Innsbruck, Innsbruck, Austria, 1965.
4. George E. Collins and Hoon Hong. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation, 12(3):299–328, September 1991.
5. Robert M. Corless and David J. Jeffrey. Well ... it isn't quite that simple. ACM SIGSAM Bulletin, 26(3):2–6, August 1992.