1. Aho, A. V., Hopcroft, J. E., and Ullman, J. D. [AHU] The Design and Analysis of Computer Algorithms, Addison-Wesley, London (1976).
2. Bachmair, L., Dershowitz, N., and Hsiang, J. [BDH] Ordering for equational proofs, Proc. IEEE Symp. on Logic in Comput. Sci., Cambridge, 346–357 (1986).
3. Birkhoff, G. [Bir] On the structure of abstract algebras, Proc. Cambridge Philos. Soc, 31, 433–454 (1935).
4. Buchberger, B. [Buch] History and basic features of the critical-pair/compilation procedure, J. Symbolic Comput., 3, 3–38 (1987).
5. Buchberger, B. and Loos, R. [BuL] Algebraic simplification, Computer Algebra—Symbolic and Algebraic Comput., Springer, 11–43 (1982).