Petrosyan G. Polynomial Bounded Proof Complexities for Some Classes of DNF-Tautologies. MPCS [Internet]. 2020Jul.10 [cited 2024Nov.16];53:7-13. Available from: http://93.187.165.2/index.php/mpcs/article/view/10