Stephen A. Cook, Robert A. Reckhow. On the Lengths of Proofs in the Propositional Calculus (Preliminary Version). In Conference Record of Sixth Annual ACM Symposium on Theory of Computing, 30 April-2 May 1974, Seattle, Washington, USA. pages 135-148, ACM, 1974.