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.