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