1. Leo Bachmair (1988). Proof by Consistency in Equational Theories. 3rd IEEE symposium on Logic In Computer Science, pp. 228–233.
2. Klaus Becker (1993). Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications. TAPSOFT 1993, LNCS 668, pp. 46–60, Springer.
3. Klaus Becker (1994). Rewrite Operationalization of Clausal Specifications with Predefined Structures. PhD thesis, Fachbereich Informatik, Universität Kaiserslautern.
4. Wolfgang Bibel, E. Eder (1993). Methods and Calculi for Deduction. In: Dov M. Gabbay, C. J. Hogger, J. A. Robinson (eds.). Handbook of Logic in Artificial Intelligence and Logic Programming. Vol. 1, pp. 67–182, Clarendon.
5. Robert S. Boyer, J Strother Moore (1979). A Computational Logic. Academic Press.