On the complexity of derivation in the propositional calculus,” Zapiski nauchnykh seminarov (1968)

by G S Tseitin
Venue:LOMI