1. B. Buchberger, On Finding a Vector Space Basis of the Residue Class Ring Modulo a Zero-dimensional Polynomial Ideal (in German), PhD Thesis, Universität Innsbruck, Innsbruck (1965).
2. B. Buchberger, Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory, Chapter 6 in N.K. Bose ed., Multidimensional Systems Theory, pp. 184–232, D. Reidel Publ. Comp., Dordrecht (1985).
3. S.-C. Chou, Mechanical Geometry Theorem Proving (Mathematics and Its Applications 41), D. Reidel Publ. Comp., Dordrecht (1988).
4. A. Capani, G. Niesi, L. Robbiano, CoCoA, a System for Doing Computations in Commutative Algebra. Version 4.0 is available at
http://cocoa.dima.unige.it
.
5. H. Gelernter, J. R. Hansen, D. W. Loveland, Empirical Exploration of the Geometry Theorem Proving Machine, in A. Feigenbaum, A., J. Feldman eds., Computer and Thought, pp. 153–163, McGraw-Hill, New York (1963).