On the complexity of derivation in propositional logic (1968)

by G S Tsejtin
Venue:Studies in Constructive Mathematics and Mathematical Logic