On the complexity of derivation in propositional calculus (1968)

by G S Tseitin
Venue:Studies in Constructive Mathematics and Mathematical Logic II, volume 8 of Seminars in Mathematics: Steklov Mathem. Inst