Gordeev, L. and Haeusler, E. H. (2020) “Proof Compression and NP Versus PSPACE II”, Bulletin of the Section of Logic, 49(3), pp. 213–230. doi: 10.18778/0138-0680.2020.16.