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