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