Apinyan, L. A., & Chubaryan, A. A. (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, 47–55. https://doi.org/10.51408/1963-0086