On generating small clause normal forms

A Structure-preserving Clause Form Translation

David A. Plaisted, Steve Greenbaum · Journal of Symbolic Computation · 1986 · 578 citations

Syntax, Engineering, Automated Reasoning +8

Seventy-five problems for testing automatic theorem provers

Francis Jeffry Pelletier · Journal of Automated Reasoning · 1986 · 194 citations

Engineering, Automated Reasoning, Verification +7

Otter - The CADE-13 Competition Incarnations

William McCune, Larry Wos · Journal of Automated Reasoning · 1997 · 103 citations

An optimality result for clause form translation

Thierry Boy de la Tour · Journal of Symbolic Computation · 1992 · 68 citations

Computer-assisted Translation, Syntax, Engineering +9

On the efficiency of subsumption algorithms

Georg Gottlob, Alexander Leitsch · Journal of the ACM · 1985 · 67 citations · Full text

Exponential Costs, Computational Complexity Theory, Engineering +16