1. Franz Baader. Rewrite systems for varieties of semigroups. In CADE-10, LNAI 449, pages 381–395. Springer-Verlag, 1990.
2. L. Bachmair, N. Dershowitz, and D. Plaisted. Completion without failure. In Proc. Col. on Resolulution of Equations in Algebraic Structures, 1987.
3. Robert S. Boyer and J Struther Moore. A Computational Logic. ACM Monograph Series. Academic Press, 1979.
4. Leslie P. Chew. An improved algorithm for computing with equations. In FOCS80, pages 108–117. IEEE Computer Society Press, 1980.
5. Peter J. Downey, Ravi Sethi, and Robert E. Tarjan. Variations on the common subexpression problem. JACM, 27(4):758–771, October 1980.