Lee, C. 2009. On the Size of Minimal Unsatisfiable Formulas. The Electronic Journal of Combinatorics. 16, 1 (Jan. 2009), N3. DOI:https://doi.org/10.37236/241.