Altunyan VN, Petrosyan GV. On Proof Complexity of Some Type of Tautologies. MPCS [Internet]. 2021Dec.14 [cited 2024Sep.28];56:65–72. Available from: http://93.187.165.2/index.php/mpcs/article/view/703