@article{DBLP:journals/tplp/KonczakLS06, title = {Graphs and colorings for answer set programming}, author = {Konczak, Kathrin and Linke, Thomas and Schaub, Torsten}, journal = {{TPLP}}, number = {1-2}, pages = {61--106}, volume = {6}, year = {2006} }