1. The Division Algorithm and the Hilbert Scheme;Bayer,1982
2. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal;Buchberger,1965
3. Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems;Buchberger;Aequaliones Math.,1970
4. A theoretical basis for the reduction of polynomials to canonical forms;Buchberger;ACM SIGSAM Bull.,1976
5. A criterion for deterting unnecessary reductions in the construction of Gröbner bases;Buchberger,1979