Gordeev L, Haeusler EH. Proof Compression and NP Versus PSPACE II. B Sect Log [Internet]. 2020 Nov. 4 [cited 2025 Dec. 9];49(3):213-30. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/8169