1. D.S. Arnon, Algorithms for the geometry of semi-algebraic set, Ph.D. Thesis, Tech. Report No. 436, Computer Sciences Dept., Univ. of Wisconsin (1981).
2. ___, Topologically reliable display of algebraic curves, Proc. of SIGGRAPH '83 ACM, New York (1983), 219–227.
3. ___, On mechanical quantifier elimination for elementary algebra and geometry: solution of a nontrivial problem, these Proceedings.
4. ___, G.E. Collins and S. McCallum, Cylindrical algebraic decomposition I: the basic algorithm, SIAM J. on Comput. 13, 4 (1984), 865–877.
5. J. Ax, On Schanuel's conjectures, Annals of Math. 93 (1971), 252–268.