@article{10_37236_241,
     author = {Choongbum Lee},
     title = {On the size of minimal unsatisfiable formulas},
     journal = {The electronic journal of combinatorics},
     year = {2009},
     volume = {16},
     number = {1},
     doi = {10.37236/241},
     zbl = {1178.68290},
     url = {http://geodesic.mathdoc.fr/articles/10.37236/241/}
}