Petrosyan, G. Polynomial Bounded Proof Complexities for Some Classes of DNF-Tautologies. MPCS 2020, 53, 7-13.