Apinyan, L. A.; Chubaryan, A. A. On Sizes of Linear and Tree-Like Proofs for Any Formulae Families in Some Systems of Propositional Calculus. MPCS 2022, 57, 47–55.