Selected papers that cite this one
- S. Fleisig, D. Loveland, A. K. Smiley III, and D. L. Yarmush. An implementation of the model elimination proof procedure. Journal of the ACM, 21(1):124-139, January 1974.
- Joyce Friedman. A computer program for a solvable case of the decision problem. Journal of the ACM, 10(3):348-356, July 1963.
- Donald W. Loveland. Mechanical theorem-proving by model elimination. Journal of the ACM, 15(2):236-251, April 1968.
- Zohar Manna. Properties of programs and the first-order predicate calculus. Journal of the ACM, 16(2):244-255, April 1969.
- J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23-41, January 1965.
Selected references
- Dag Prawitz, Håkan Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer. Journal of the ACM, 7(2):102-128, April 1960.