On the Lengths of (1974)

by S A Cook, R A Reckhow
Venue:Proofs in the Propositional Calculus. Proceedings of the Sixth Annual ACM Symposium on the Theory of Computing