LEE, C. On the Size of Minimal Unsatisfiable Formulas. The Electronic Journal of Combinatorics, v. 16, n. 1, p. N3, 30 Jan. 2009.