1. Bachmair, L. (1987). Proof methods for equational theories. Ph.D. diss., University of Illinois, Urbana-Champaign.
2. “Critical pair criteria for completion.”;Bachmair;J. Symbolic Computation,1988
3. Bachmair, L., Dershowitz, N., and Hsiang, J. (1986). “Orderings for equational proofs.” In Proc. Symp. Logic in Computer Science, Boston, 346–357.
4. Brown, T. (1975). A structured design-method for specialized procedures. Ph.D.diss., California Institute of Technology, Pasadena.
5. “Orderings for term-rewriting systems.”;Dershowitz;Theor. Comput. Sci.,1982