Are tableaux an improvement on truth-tables?

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

Computing, Computer Science, Mathematics +16

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +15

The relative efficiency of propositional proof systems

Stephen Cook, Robert A. Reckhow · Journal of Symbolic Logic · 1979 · 827 citations

Computing, Computer Science, Mathematics +15

Jean-Yves Girard. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp.

Helmut Pfeiffer · Journal of Symbolic Logic · 1989 · 317 citations

Computing, Computer Science, Formal Methods +9

Systematization of finite many-valued logics through the method of tableaux

Walter Carnielli · Journal of Symbolic Logic · 1987 · 149 citations

Humanities, Computer Science, Mathematics +15