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