Stephen A. Cook, Robert A. Reckhow. Corrections for "On the lengths of proofs in the propositional calculus preliminary version". SIGACT News, 6(3):15-22, 1974. [doi]
@article{CookR74-0,
title = {Corrections for "On the lengths of proofs in the propositional calculus preliminary version"},
author = {Stephen A. Cook and Robert A. Reckhow},
year = {1974},
doi = {10.1145/1008311.1008313},
url = {https://doi.org/10.1145/1008311.1008313},
researchr = {https://researchr.org/publication/CookR74-0},
cites = {0},
citedby = {0},
journal = {SIGACT News},
volume = {6},
number = {3},
pages = {15-22},
}