Tamazyan, . H. A. ., & Chubaryan, . A. A. . (2021). On Proof Complexities Relations in Some Systems of Propositional Calculus. Mathematical Problems of Computer Science, 54, 138–146. https://doi.org/10.51408/1963-0068