Apinyan LA, Chubaryan AA. On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus. MPCS [Internet]. 2022Jun.1 [cited 2025May1];57:47–55. Available from: http://www.mpcs.sci.am/index.php/mpcs/article/view/734