Canonical Disjoint NP-Pairs of Propositional Proof Systems.

Christian Glaer, Alan L. Selman, Liyu Zhang

Browse the full MFCS paper archive.