Tamazyan, . H. A. .; Chubaryan, . A. A. . On Proof Complexities Relations in Some Systems of Propositional Calculus. MPCS 2021, 54, 138-146.