1. Kapur D, Mundy JL (eds). Geometric reasoning. MIT Press, Cambridge, MA, 1989.
2. Woodwark JR (ed). Geometric reasoning (proceedings of a conference held at the IBM UK Scientific Centre). Oxford University Press, 1989
3. Davenport JH, Siret Y, Tournier E. Computer algebra systems and algorithms for algebraic computation. Academic Press, London, 1988
4. Arnon DS, Collins GE, McCallum S. Cylindrical algebraic decomposition I: the basic algorithm. SIAM J Comput 1984; 13: 865–877
5. Arnon DS, Collins GE, McCallum S. Cylindrical algebraic decomposition II: an adjacent algorithm for the plane. SIAM J Comput 1984; 13: 878–889