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 2024Nov.16];57:47–55. Available from: http://93.187.165.2/index.php/mpcs/article/view/734