@inproceedings{DBLP:conf/asp/KonczakSL03a, title = {Graphs and colorings for answer set programming: Abridged Report}, author = {Konczak, Kathrin and Schaub, Torsten and Linke, Thomas}, booktitle = {Answer Set Programming}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, volume = {78}, year = {2003} }