G. Petrosyan, “Polynomial Bounded Proof Complexities for Some Classes of DNF-Tautologies”, MPCS, vol. 53, pp. 7–13, Jul. 2020.