Altunyan, V.N. and Petrosyan, G.V. 2021. On Proof Complexity of Some Type of Tautologies. Mathematical Problems of Computer Science. 56, (Dec. 2021), 65–72. DOI:https://doi.org/10.51408/1963-0080.