Altunyan, V. N., and G. V. Petrosyan. “On Proof Complexity of Some Type of Tautologies”. Mathematical Problems of Computer Science, vol. 56, Dec. 2021, pp. 65–72, doi:10.51408/1963-0080.