An extension to linear resolution with selection function

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

Linear resolution with selection function

Robert Kowalski, D. Brian Kuehner · Artificial Intelligence · 1971 · 256 citations

Natural Sciences, Computer Science, Mathematics +2

Mechanical Theorem-Proving by Model Elimination

Donald Loveland · Journal of the ACM · 1968 · 193 citations · Full text

Computing, Computer Science, Mathematics +12

Two Results on Ordering for Resolution with Merging and Linear Format

Raymond Reiter · Journal of the ACM · 1971 · 63 citations · Full text

Computing, Computer Science, Information Retrieval +5