On the complexity of derivations in propositional calculus (1999)

by G S Tseitin
Venue:PhD thesis, Institut f"ur Informatik, Universit"at des Saarlandes