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