%0 Journal Article
%A Choongbum Lee
%T On the size of minimal unsatisfiable formulas
%J The electronic journal of combinatorics
%D 2009
%V 16
%N 1
%U http://geodesic.mathdoc.fr/articles/10.37236/241/
%R 10.37236/241
%F 10_37236_241