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