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.