Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP.

Fabian Egidy, Christian Glaer, Martin G. Herold

Browse the full MFCS paper archive.