1. Proc. STACS'94;J. Avenhaus,1994
2. Leo Bachmair and Harald Ganzinger. Buchberger's algorithm: A constraind-based completion procedure. In Constraints in Computational Logics, 1994. (Proc. of CCL'94 in Munich, Germany, September 1994).
3. Bruno Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD thesis, Universität Innsbruck, 1965.
4. Reinhard Bündgen. Completion of integral polynomials by AC-term completion. In Stephen M. Watt, editor, International Symposium on Symbolic and Algebraic Computation, pages 70–78. ACM Press, 1991. (Proc. ISSAC'91, Bonn, Germany, July 1991).
5. Reinhard Bündgen. Buchberger's algorithm: The term rewriter's point of view. In G. Kuich, editor, Automata, Languages and Programming (LNCS 623), pages 380–391, 1992. (Proc. ICALP'92, Vienna, Austria, July 1992).