Apinyan, L. A. and 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, pp. 47–55. doi: 10.51408/1963-0086.