Stephen A. Cook, Robert A. Reckhow: On the Lengths of Proofs in the Propositional Calculus (Preliminary Version). STOC 1974: 135-148