1. An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal;Buchberger,1965
2. An algorithmic criterion for the solvability of algebraic systems of equations;Buchberger;Aequationes Mathematicae,1970
3. A theoretical basis for the reduction of polynomials to canonical forms;Buchberger;ACM Sigsam Bull.,1976
4. A theoretical basis for the reduction of polynomials to canonical forms;Buchberger;ACM Sigsam Bull.,1976
5. A criterion for detecting unnecessary reductions in the construction of Gröbner bases;Buchberger,1979