Yuliya Lierler cmodels - SAT-Based Disjunctive Answer Set Solver. 447-451 2005 conf/lpnmr/2005 LPNMR http://dx.doi.org/10.1007/11546207_44 db/conf/lpnmr/lpnmr2005.html#Lierler05