Return to Article Details Proof Compression and NP Versus PSPACE II: Addendum Download Download PDF