V. N. Altunyan and G. V. Petrosyan, “On Proof Complexity of Some Type of Tautologies”, MPCS, vol. 56, pp. 65–72, Dec. 2021.