The complexity of a deduction in the propositional predicate calculus, Zap (1968)

by G S Tseitin
Venue:Nauchn. Sem. Leningrad Otd. Mat. Inst. Akad. Nauk SSSR