1. D. Arnon and M. Mignotte, “On Mechanical Quantifier Elimination for Elementary Algebra and Geometry”, J. Symbolic Computation, 5 (1988), 237–259.
2. D. Arnon, “Geometric Reasoning with Logic and Algebra”, Artificial Intelligence Journal, V. 37 (1988), pp. 37–60.
3. D. Arnon, a Chou and X.S. Gao, “On the Mechanical Proof of Geometry Theorems Involving Inequalities”, “Issues in Robotics and Nonlinear Geometry”, Advances in Com-puting Research, vol. 6, (ed.C.M. Hoffmann), p. 139–181, 1992, JAI Press ENc, Greenwich, USA..
4. B. Buchberger, “An Algorithm Criterion for the Solvability of a System of Algebraic Equations” (German), Aequationes Math., 4 (1970), 374–383.
5. B. Buchberger, “Grobner Bases: An Algorithmic Method in Polynomial Ideal Theory”, Chapter 6 in Recent Trends in Multidimensional Systems Theory, N.K. Bose (ed.) D. Reidel Publ. Comp. 1985.