Title: On the lengths of proofs in the propositional calculus
First published: 1975
Subjects: Propositional calculus