Gordeev, Lew, and Edward Hermann Haeusler. 2020. “Proof Compression and NP Versus PSPACE II”. Bulletin of the Section of Logic 49 (3):213-30. https://doi.org/10.18778/0138-0680.2020.16.