The predicate elimination strategy in theorem proving

A Machine-Oriented Logic Based on the Resolution Principle

1965 • 3,880 citations

A Computing Procedure for Quantification Theory

1960 • 2,592 citations

Mechanical Theorem-Proving by Model Elimination

1968 • 197 citations

Automatic Theorem Proving With Renamable and Semantic Resolution

1967 • 171 citations

E-Resolution: Extension of Resolution to Include the Equality Relation

1983 • 84 citations