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://93.187.165.2/index.php/mpcs/article/view/734. Acesso em: 28 sep. 2024.