L. Gordeev and E. H. Haeusler, “Proof Compression and NP Versus PSPACE II: Addendum”, B Sect Log, vol. 51, no. 2, pp. 197–205, Jan. 2022.