Altunyan, V. N.; Petrosyan, G. V. On Proof Complexity of Some Type of Tautologies. MPCS 2021, 56, 65–72.