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