1. Bachmair, L.: Proof methods for equational theories. PhD-Thesis, U. of Illinois, Urbana Champaign, 1987.
2. Bachmair, L. and Dershowitz, N.: Critical pair criteria for the Knuth-Bendix completion procedure. Proc. ACM Symp. on Symbolic and Alg. Computation, 1986, 215–217.
3. Bachmair, L., Dershowitz, N. and Hsiang, J.: Proof orderings for equational proofs. Proc. LICS 86, 346–357.
4. Bertling, H., Ganzinger, H. and Schäfers, R.: CEC: A system for conditional equational completion. User Manual Version 1.0, PROSPECTRA-Report M.1.3-R-7.0, U. Dortmund, 1988.
5. Dershowitz, N.: Termination. Proc. RTA 1985, LNCS 202, 1985, 180–224.