[Barendregt81] Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics, North-Holland, Amsterdam (1981).
[Huntington33] Huntington, E., ``New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell's Principia Mathematica'', Trans. of AMS, 35, pp. 274-304 (1933).
[McCune90] McCune, W., OTTER 2.0 Users Guide, Technical Report ANL-90/9, Argonne National Laboratory, Argonne, Illinois, 1990.
[McCune91a] McCune, W., What's New in OTTER 2.2, Mathematics and Computer Science Division Technical Report ANL/MCS-TM-153, Argonne National Laboratory, 1991.
[McCune91b] McCune, W., Single Axioms for Groups and Abelian Groups with Various Operations, Mathematics and Computer Science Division Preprint MCS-P270-1091, Argonne National Laboratory, Argonne, Illinois, 1991.
[Meredith68] Meredith, C. A., and Prior, A. N., ``Equational logic'', Notre Dame J. Formal Logic, 9, pp. 212-226 (1968).
[Wos87] Wos, L., Automated Reasoning: 33 Basic Research Problems, Prentice-Hall, Englewood Cliffs, N.J., 1987.