On the complexity of derivation in the propositional calculus,” Zapiski Nauchnykh Seminarov LOMI (1968)

by G S Tseitin
Venue:from Structures in Constructive Mathematics and Mathematical Logic, Part II, Seminars in Mathematics (translated from Russian