On the complexity of derivation in propositional calculus. Seminars in Mathematics (1968)

by G S Tseitin
Venue:V.A. Steklov Mathematical Institute, Leningrad