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