APINYAN, L. A.; CHUBARYAN, A. A. On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus. Mathematical Problems of Computer Science, [S. l.], v. 57, p. 47–55, 2022. DOI: 10.51408/1963-0086. Disponível em: http://mpcs.sci.am/index.php/mpcs/article/view/734. Acesso em: 6 dec. 2022.