L. A. Apinyan and A. A. Chubaryan, “On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus”, MPCS, vol. 57, pp. 47–55, Jun. 2022.