%0 Journal Article
%T A resolution calculus for MinSAT
%A Li,, Chu-Min
%A Xiao,, Fan
%A Manyà,, Felip
%J Logic Journal of the IGPL
%V Advance Article
%@ 1367-0751
%D 2008-03-01
%I Oxford University Press
%~ DeepDyve