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]
No references recorded for this publication.
No citations of this publication recorded.