1.
Gordeev L, Haeusler EH. Proof Compression and NP Versus PSPACE II: Addendum. B Sect Log [Internet]. 2022 Jan. 7 [cited 2022 Dec. 6];51(2):197-205. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/8755