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