Lee, Choongbum. “On the Size of Minimal Unsatisfiable Formulas”. The Electronic Journal of Combinatorics 16, no. 1 (January 30, 2009): N3. Accessed March 16, 2026. https://www.combinatorics.org/ojs/index.php/eljc/article/view/v16i1n3.