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.
@inproceedings{CookR74,
title = {On the Lengths of Proofs in the Propositional Calculus (Preliminary Version)},
author = {Stephen A. Cook and Robert A. Reckhow},
year = {1974},
researchr = {https://researchr.org/publication/CookR74},
cites = {0},
citedby = {0},
pages = {135-148},
booktitle = {Conference Record of Sixth Annual ACM Symposium on Theory of Computing, 30 April-2 May 1974, Seattle, Washington, USA},
publisher = {ACM},
}