Petrosyan, Garik. “Polynomial Bounded Proof Complexities for Some Classes of DNF-Tautologies”. Mathematical Problems of Computer Science 53 (July 10, 2020): 7–13. Accessed May 6, 2024. http://mpcs.sci.am/index.php/mpcs/article/view/10.