Graphs and colorings for answer set programming.

Kathrin Konczak Thomas Linke Torsten Schaub Graphs and colorings for answer set programming. 61-106 2006 6 TPLP 1-2 http://dx.doi.org/10.1017/S1471068405002528 db/journals/tplp/tplp6.html#KonczakLS06