Theories for complexity classes and their propositional translations (2005)

by S A Cook
Venue:Complexity of Computations and Proofs