Reckhow, "On the lengths of proofs in the propositional calculus (1974)

by Steven A Cook, Robert
Venue:Proc. Sixth ACM Symposium on Theory of Computing