On the lengths of proofs in the propositional calculus (1974)

by S A Cook, R A Reckhow
Venue:In sixth ACM Symposium on the Theory of Computing