Theories for Complexity Classes and their Propositional Translations (2004)

by Stephen Cook
Venue:Complexity of computations and proofs