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