1. A.M. Ballantyne, D.S. Lankford: New Decision Algorithms for finitely presented commutative Semigroups, Comp. Math. with Appl. 7 (1981), 159–165
2. R. Book: Confluent and Other Types of Thue Systems, J. Assoc. for Comp. Math. 29 (1982), 171–182
3. B. Buchberger: An Algorithm for Finding Basis for the Residue Class Ring of a Zero Dimensional Polynomial Ideal. Ph.D.Thesis, University of Innsbruck (1965). See also aequ.math 4/3, 374–383 (1970).
4. B. Buchberger: Basic Features and Development of the Critical-Pair/Completion Procedure, in: Proceedings of Rewriting Techniques and Applications, Dijon 85, J.-P. Jouannaud (ed), LNCS 202, (1985), 1–45
5. M. Clerbout, M. Latteux: Partial Commutations and Faithful Rational Transductions, Theoret. Comp. Sci. 35, (1985), 241–254