Gordeev, L.and E. H. Haeusler. Proof Compression and NP Versus PSPACE II: Addendum. Uniwersytet Lodzki (University of Lodz), Jan. 2022, doi:10.18778/0138-0680.2022.01.