1. The diamond lemma for ring theory
2. Miguel Angel Borges and Mijail Borges . 1998. Gröbner Bases Property on Elimination Ideal in the Noncommutative Case . In Gröbner Bases and Applications . Cambridge University Press , 323–337. Miguel Angel Borges and Mijail Borges. 1998. Gröbner Bases Property on Elimination Ideal in the Noncommutative Case. In Gröbner Bases and Applications. Cambridge University Press, 323–337.
3. Bruno Buchberger . 1965. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph. D. Dissertation . University of Innsbruck , Austria. Bruno Buchberger. 1965. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph. D. Dissertation. University of Innsbruck, Austria.
4. Buchberger–Weispfenning theory for effective associative rings
5. Buchberger–Zacharias Theory of multivariate Ore extensions