GORDEEV, L.; HAEUSLER, E. H. Proof Compression and NP Versus PSPACE II. Bulletin of the Section of Logic, [S. l.], v. 49, n. 3, p. 213–230, 2020. DOI: 10.18778/0138-0680.2020.16. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/8169. Acesso em: 24 apr. 2024.