Tamazyan, Hakob A., and Anahit A. Chubaryan. 2021. “On Proof Complexities Relations in Some Systems of Propositional Calculus”. Mathematical Problems of Computer Science 54 (December):138-46. https://doi.org/10.51408/1963-0068.