C. Lee, “On the Size of Minimal Unsatisfiable Formulas”, Electron. J. Combin., vol. 16, no. 1, p. N3, Jan. 2009.