1. E.W.Beth. The Foundations of Mathematics. North-Holland, 1965.
2. W. Bibel. "A Comparative Study of Several Proof Procedures". Artificial Intelligence (18, 1982), pp 269–293.
3. W.W.Bledsoe. The UT Interactive Prover. University of Texas at Austin, ATP-17B, 1983.
4. D.N. Cohen. Knowledge Based Theorem Proving and Learning. UMI Research Press, Ann Arbor, Michigan, 1981.
5. A.G.Cohn. "On the solution of Schubert's Steamroller in Many Sorted Logic". IJCAI85, pp 1169–1173.