1. J. A. Robinson, “An overview of mechanical theorem proving,” Lecture Notes Oper. Res. Math. Systems,28, 2–20 (1970).
2. D. V. Loveland, “Automated theorem proving: a quarter-century review,” Contemp. Math.,29, 1–48 (1984).
3. J. L. Darlington, “Automatic theorem proving with equality, substitutions and mathematical induction,” Machine Intelligence, No. 3 (1968), pp. 113–127.
4. L. Wos, G. Robinson, D. Carson, and L. Shalla, “The concept of demodulation in theorem proving,” J. ACM,14, 698–709 (1967).
5. G. Robinson and L. Wos, “Paramodulation and theorem-proving in first-order logic with equality,” Machine Intelligence, No. 4, Edinburgh Univ. (1969), pp. 135–150.