1. Bachmair, L. 1987. Proof methods for equational theories. Ph.D. diss., University of Illinois, Urbana-Champaign.
2. Bachmair, L., Dershowitz, N., and Hsiang, J. 1986. Orderings for equational proofs. In Proc. Symp. Logic in Computer Science, Boston, Massachusetts, 346–357.
3. Brand, D. 1975. Proving theorems with the modification method. SIAM J. Comput.4:412–430.
4. Brown, T. 1975. A structured design-method for specialized proof procedures. Ph.D. diss., California Institute of Technology, Pasadena.
5. Chang, C., and Lee, R. C. 1973. Symbolic logic and mechanical theorem proving. New York, Academic Press.