On the Lengths of Proofs in the Propositional Calculus (1976)

by Robert A Reckhow