A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

A Machine-Oriented Logic Based on the Resolution Principle

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

Computing, Computer Science, Decision Support Systems +4

ISABELLE - THE NEXT 700 THEOREM PROVERS

Apollo (University of Cambridge) · 1988 · 250 citations · Full text

Computing, Computer Science, Mathematics +17

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

The Foundations of Mathematics.

Charles Parsons, Evert W. Beth · The Philosophical Review · 1961 · 228 citations

Natural Sciences, Mathematics, Applied Mathematics +5