The relative e ciency of propositional proof systems (1979)

by S A Cook, R A Reckhow
Venue:J. Symbolic Logic