?-match: An inference rule for incrementally elaborating set instantiations

A Machine-Oriented Logic Based on the Resolution Principle

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

Applied Logic, Computational Logic, Engineering +13

A Human Oriented Logic for Automatic Theorem-Proving

Arthur J. Nevins · Journal of the ACM · 1974 · 69 citations · Full text

Engineering, Deductive Database, Automated Reasoning +14

Towards the automation of set theory and its logic

Frank M. Brown · Artificial Intelligence · 1978 · 32 citations

Applied Logic, Engineering, Automated Reasoning +4

Man-machine theorem proving in graph theory

Dragoš Cvetković, Irena Pevac · Artificial Intelligence · 1988 · 18 citations

Directed Graph, Engineering, Graph Theory +6

A relaxation approach to splitting in an automatic theorem prover

Arthur J. Nevins · Artificial Intelligence · 1975 · 13 citations

Engineering, Automated Reasoning, Proof Complexity +9