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