The number of proof lines and the size of proofs in first order logic

The undecidability of the second-order unification problem

Warren Goldfarb · Theoretical Computer Science · 1981 · 280 citations

Computing, Computer Science, Algorithms +8

Bounds for proof-search and speed-up in the predicate calculus

Richard Statman · Annals of Mathematical Logic · 1978 · 107 citations · Full text

Computing, Computer Science, Mathematics +11

On the number of steps in proofs

Jan KrajmIček · Annals of Pure and Applied Logic · 1989 · 28 citations

Computing, Computer Science, Mathematics +8

Some results on speed-up

Tsuyoshi Yukami · Annals of the Japan Association for Philosophy of Science · 1984 · 15 citations · Full text

Computing, Computer Engineering, Computer Science +3

On the length of proofs in a formal systems

Tohru Miyatake · Tsukuba Journal of Mathematics · 1980 · 14 citations · Full text

Computing, Computer Science, Formal Methods +11