ALTUNYAN, V. N.; PETROSYAN, G. V. On Proof Complexity of Some Type of Tautologies. Mathematical Problems of Computer Science, [S. l.], v. 56, p. 65–72, 2021. DOI: 10.51408/1963-0080. Disponível em: http://mpcs.sci.am/index.php/mpcs/article/view/703. Acesso em: 20 apr. 2024.