1. Buchberger’s algorithm: a constraint-based completion procedure;Bachmair,1994
2. Gröbner Bases: A Computational Approach to Commutative Algebra;Becker,1993
3. The diamond lemma for ring theory;Bergman;Adv. Math.,1978
4. Buchberger, B., 1965. An algorithm for finding a basis for the residual class ring of zero-dimensional polynomial ideal. Ph.D. Thesis. University of Innsbruck, Institute for Mathematics (in German)
5. An algorithmic criterion for the solvability of algebraic systems of equations;Buchberger;Æquationes Mathematicae,1970