Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Set Theory in First-Order Logic: Clauses for Gödel's Axioms | 50 | 8.20 | 1986 |
| The Concept of Demodulation in Theorem Proving | 94 | 50.36 | 1967 |
| Efficiency and Completeness of the Set of Support Strategy in Theorem Proving | 157 | 154.12 | 1965 |