1. Aho, A., Sethi, R., Ullman, J.: Code Optimization and Finite Church-Rosser Systems. Proc. of Courant Comput. Sci. Symp. 5 (Rustin, R., ed.). Englewood Cliffs, N. J.: Prentice-Hall 1972.
2. Ayoub, C. W.: On Constructing Bases for Ideals in Polynomial Rings over the Integers. Pennsylvania State University, Univ. Park: Dept. Math. Rep. 8184 (1981).
3. Bachmair, L., Buchberger, B.: A Simplified Proof of the Charaeterization Theorem for Gröbner Bases. ACM SIGSAM Bull. 14/4, 29–34 (1980).
4. Ballantyne, A. M., Lankford, D. S.: New Decision Algorithms for Finitely Presented Commutative Semigroups. Comp. Math. Appl. 7, 159–165 (1981).
5. Bergman, G. M.: The Diamond Lemma for Ring Theory. Adv. Math. 29, 178–218 (1978).