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