Extracting information from resolution proof trees

A Machine-Oriented Logic Based on the Resolution Principle

1965 • 3,880 citations

PROW: a step toward automatic program writing

1969 • 121 citations

The use of theorem-proving techniques in question-answering systems

1968 • 118 citations

Theorem-Proving by Resolution as a Basis for Question-Answering Systems

2010 • 90 citations

Refinement theorems in resolution theory

1970 • 75 citations

EIGHTY YEARS OF FOUNDATIONAL STUDIES

1958 • 69 citations

Experiments with a deductive question-answering program

1965 • 68 citations

Resolution With Merging

1968 • 67 citations