1. L. Bachmair. Proof by consistency. In Symp. on Logic in Computer Science, IEEE, 1988.
2. L. Bachmair and N. Dershowitz. Completion for rewriting module a congruence. In P. Lescanne, editor, Rewriting Techniques and Applications, pages 192–203, Springer-Verlag, 1987. (Lecture Notes in Comp. Science, Vol 256).
3. L. Bachmair, N. Dershowitz, and J. Hsiang. Orderings for equational proofs. In Symp. on Logic in Computer Science, pages 346–357, IEEE, 1986.
4. R. Bündgen and W. Küchlin. Computing ground reducibility and inductively complete positions. In N. Dershowitz, editor, Rewriting Techniques and Appl., pages 59–75, Springer-Verlag, Berlin, 1989.
5. N. Dershowitz. Applications of the Knuth-Bendix completion procedure. In Proc. of the Seminaire d'Informatique Theorique, Paris, pages 95–111, December 1982.