On an Optimal Quantified Propositional Proof System and a Complete Language for NP cap co-NP.

Zenon Sadowski

Browse the full FCT paper archive.