Propositional proofs and reductions between NP search problems
scientific article; zbMATH DE number 6054355