GORDEEV, Lew; HAEUSLER, Edward Hermann. 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://www.czasopisma.uni.lodz.pl/bulletin/article/view/8169. Acesso em: 15 jun. 2024.