1. An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-dimensional Polynomial Ideal (German);Buchberger,1965
2. An algorithmic criterion for the solvability of an algebraic system of equations (German);Buchberger;Aequ. Math,1970
3. A criterion for detecting unnecessary reductions in the construction of Gröbner bases;Buchberger;In: (Ng, W., ed.) Proc. EUROSAM 79, Marseille, June 1979. Springer Lec. Notes Comp. Sci,1979
4. Gröbner bases: an algorithmic method in polynomial ideal theory;Buchberger,1985
5. Proving elementary geometry theorems using Wu's algorithm;Chou;In: (Bledsoe, Loveland, eds,) Automated Theorem Proving: After 25 Years. Contemp. Math,1984