Gordeev, L.; Haeusler, E. H. Proof Compression and NP Versus PSPACE II: Addendum. B Sect Log 2022, 51 (2), 197-205. https://doi.org/10.18778/0138-0680.2022.01.