Yuliya Lierler Cmodels for Tight Disjunctive Logic Programs. 163-166 2005 conf/wlp/2005 W(C)LP db/conf/wlp/wclp2005.html#Lierler05