Apinyan, L. A., and A. A. Chubaryan. “On Sizes of Linear and Tree-Like Proofs for Any Formulae Families in Some Systems of Propositional Calculus”. Mathematical Problems of Computer Science, vol. 57, June 2022, pp. 47–55, doi:10.51408/1963-0086.