The relative efficiency of propositional proof systems (1979)

by Stephen A. Cook , Robert , A. Reckhow
Venue:Journal of Symbolic Logic
Citations:326 - 5 self