CHUBARYAN, A. A. Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems. Mathematical Problems of Computer Science, [S. l.], v. 58, p. 61–66, 2022. DOI: 10.51408/1963-0093. Disponível em: http://mpcs.sci.am/index.php/mpcs/article/view/758. Acesso em: 21 apr. 2024.