. H. A. . Tamazyan and . A. A. . Chubaryan, “On Proof Complexities Relations in Some Systems of Propositional Calculus”, MPCS, vol. 54, pp. 138–146, Dec. 2021.