leanCoP: lean connection-based theorem proving

The TPTP Problem Library

Geoff Sutcliffe, Christian Suttner · Journal of Automated Reasoning · 1998 · 301 citations

Computing, Computer Science, Computer Systems +5

A prolog technology theorem prover: Implementation by an extended prolog compiler

Mark E. Stickel · Journal of Automated Reasoning · 1988 · 250 citations

Computing, Computer Science, Compilers +13

SETHEO: A high-performance theorem prover

Reinhold Letz, J. Schümann, Stefan Bayerl et al. · Journal of Automated Reasoning · 1992 · 237 citations

Computing, Computer Science, Formal Methods +4

Seventy-five problems for testing automatic theorem provers

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

Computing, Computer Science, Formal Methods +13

Mechanical Theorem-Proving by Model Elimination

Donald Loveland · Journal of the ACM · 1968 · 193 citations · Full text

Computing, Computer Science, Mathematics +12