Journal of the ACM Bibliography
Ross A. Overbeek. A new class of
automated theorem-proving algorithms. Journal of the ACM,
21(2):191-200, April 1974.
[BibTeX entry]
Additional Key Words and Phrases:
automated theorem-proving, resolution, hyperresolution
Selected references
- Robert Anderson and W. W. Bledsoe. A linear format for resolution
with merging and a new technique for establishing completeness.
Journal of the ACM, 17(3):525-534, July 1970.
- Peter B. Andrews. Resolution with merging.
Journal of the ACM, 15(3):367-381, July 1968.
- C. L. Chang. The unit proof
and the input proof in theorem proving. Journal of the
ACM, 17(4):698-707, October 1970.
- Martin Davis and Hilary Putnam. A computing procedure for
quantification theory. Journal of the ACM,
7(3):201-215, July 1960.
- Donald W. Loveland. Mechanical theorem-proving by
model elimination. Journal of the ACM, 15(2):236-251,
April 1968.
- J. A. Robinson. Theorem-proving on the
computer. Journal of the ACM, 10(2):163-174, April
1963.
- J. A. Robinson. A
machine-oriented logic based on the resolution principle.
Journal of the ACM, 12(1):23-41, January 1965.
- James R. Slagle. Automatic
theorem proving with renamable and semantic resolution.
Journal of the ACM, 14(4):687-697, October 1967.
- Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the
set of support strategy in theorem proving. Journal of the
ACM, 12(4):536-541, October 1965.
Shortcuts: