Gordeev L, Haeusler EH. Proof Compression and NP Versus PSPACE II. B Sect Log. 2020;49(3):213-230. doi:10.18778/0138-0680.2020.16