%0 Journal Article
%A Gordeev, Lew
%A Haeusler, Edward Hermann
%T Proof Compression and NP Versus PSPACE II: Addendum
%J Bulletin of the Section of Logic
%D 2022
%P 197-205
%V 51
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2022_51_2_a1/
%G en
%F BSL_2022_51_2_a1