Gordeev, Lew, and Edward Hermann Haeusler. “Proof Compression and NP Versus PSPACE II: Addendum”. Bulletin of the Section of Logic 51, no. 2 (January 7, 2022): 197–205. Accessed December 6, 2022. https://czasopisma.uni.lodz.pl/bulletin/article/view/8755.