Gordeev, Lew, and Edward Hermann Haeusler. “Proof Compression and NP Versus PSPACE II”. Bulletin of the Section of Logic 49, no. 3 (November 4, 2020): 213–230. Accessed April 25, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/8169.