@inproceedings{DBLP:conf/lpnmr/KonczakLS04, author = {Konczak, Kathrin and Linke, Thomas and Schaub, Torsten}, title = {Graphs and Colorings for Answer Set Programming: Abridged Report}, booktitle = {{LPNMR}}, series = {Lecture Notes in Computer Science}, volume = {2923}, pages = {127--140}, publisher = {Springer}, year = {2004} }