Bruno Buchberger Applications of Gröbner Bases in Non-linear Computational Geometry. 52-80 1987 conf/ibm/1987 Trends in Computer Algebra db/conf/ibm/algebra1987.html#Buchberger87 http://dx.doi.org/10.1007/3-540-18928-9_5