Reductions and Propositional Proofs for Total NP Search Problems

Paperback / softback