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 2024Dec.22];57:47–55. Available from: http://mpcs.sci.am/index.php/mpcs/article/view/734