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