[1]
Gordeev, L. and Haeusler, E.H. 2020. Proof Compression and NP Versus PSPACE II. Bulletin of the Section of Logic. 49, 3 (Nov. 2020), 213–230. DOI:https://doi.org/10.18778/0138-0680.2020.16.