1. L. Bachmair, N. Dershowitz, and D.A. Plaisted. Completion without failure. In Collection on the Resolution of Equations in Algebraic Structures. Academic Press, Austin, 1989.
2. A. Buch and Th. Hillenbrand. Waldmeister: Development of a high performance completion-based theorem prover. SEKI-Report 96-01, Univ. Kaiserslautern, 1996. Available via ftp://ftp.uni-kl.de/
3. J. Christian. Fast Knuth-Bendix completion: A summary. In Proc. 3rd RTA, vol. 355 of LNCS, 1989.
4. P. Graf. Term Indexing, vol. 1053 of LNAI. Springer Verlag, 1995.
5. Th. Hillenbrand, A. Buch, and R. Fettig. On gaining efficiency in completion-based theorem proving. In Proc. 7th RTA, LNCS, 1996.