CHUBARYAN, A. A. .; CHUBARYAN, A. A. .; ALEKSANYAN, S. R. . omparison of the Complexities in Frege Proofs with Different Substitution Rules. Mathematical Problems of Computer Science, [S. l.], v. 30, p. 36–39, 2021. Disponível em: http://mpcs.sci.am/index.php/mpcs/article/view/413. Acesso em: 24 apr. 2024.