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