Relativized NP search problems and propositional proof systems (2004)

by J Buresh-Oppenheim, T Morioka
Venue:In 19th Conference on Computational Complexity