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