On the complexity of derivation in propositional calculus (1970)

by G S Tseitin
Venue:Studies in Constructive Mathematics and Mathematical Logic