1. B. Buchberger, An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal, Ph.D. Thesis, Department of Mathematics, University of Innsbruck, Innsbruck, Austria (1965), in German.
2. B. Buchberger, Gröbner bases: An algorithmic method in polynomial ideal theory, in:Multidimensional Systems Theory, ed. N.K. Bose (Reidel, Dordrecht/Boston/Lancaster, 1985) pp. 184?232.
3. B. Buchberger, Applications of Gröbner bases in non-linear computational geometry, in:Proc. Workshop on Scientific Software, IMA, Minneapolis, USA, 1987, pp. 59?88.
4. S.C. Chou and X.S. Gao, Ritt-Wu's decomposition algorithm and geometry theorem proving, in:Proc. CADE-10, Kaiserslautern, Germany, 1990, pp. 202?220.
5. S.C. Chou,Mechanical Geometry Theorem Proving (Reidel, Dordrecht, 1988).