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