On the size of minimal unsatisfiable formulas. Lee, Choongbum — 2009 The Electronic Journal of Combinatorics [electronic only]