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