Lee, C. On the Size of Minimal Unsatisfiable Formulas. Electron. J. Combin. 2009, 16, N3.