1. Arnon, D. S. (1986): Geometric reasoning with logic and algebra. Artif. Intell. 37: 37–60.
2. Arnon, D. S., Sederberg, T. W. (1984): Implicit equation for a parametric surface by Gröbner bases. In: Golden, V. E. (ed.): Proceedings of the 1984 MACSYMA User’s Conference. General Electric, Schenectady, NY, pp. 431–436.
3. Buchberger, B. (1985): Gröbner bases: an algorithmic method in polynomial ideal theory. In: Bose, N. K. (ed.): Multidimensional systems theory. Reidel, Dordrecht, pp. 184–232.
4. Buchberger, B. (1987): Applications of Gröbner bases in non-linear computational geometry. In: Rice, J. R. (ed.): Mathematical aspects of scientific software. Springer, Berlin Heidelberg New York Tokyo, pp. 59–87 (The IMA volumes in mathematics and its applications, vol. 14).
5. Buchberger, B., Collins, G. E., Kutzler, B. (1988): Algebraic methods for geometric reasoning. Annu. Rev. Comput. Sci. 3: 85–119.