Journal of the ACM Bibliography
Peter B. Andrews. Resolution
with merging. Journal of the ACM, 15(3):367-381, July 1968.
[BibTeX entry]
Selected papers that cite this one
- 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. A
correction concerning resolution. Journal of the ACM,
15(4):720, October 1968.
- C. L. Chang. The unit proof
and the input proof in theorem proving. Journal of the
ACM, 17(4):698-707, October 1970.
- Ross A. Overbeek. A new
class of automated theorem-proving algorithms. Journal of the
ACM, 21(2):191-200, April 1974.
- Raymond Reiter. Two
results on ordering for resolution with merging and linear format.
Journal of the ACM, 18(4):630-646, October 1971.
Selected references
Shortcuts: