Paolo Ferraris Answer Sets for Propositional Theories. 119-131 2005 conf/lpnmr/2005 LPNMR http://dx.doi.org/10.1007/11546207_10 db/conf/lpnmr/lpnmr2005.html#Ferraris05a