@misc{indiciae67a2dce17457, title = {Graphs and colorings for answer set programming}, author = {Kathrin Konczak and Thomas Linke and Torsten Schaub}, year = {2005}, url = {https://arxiv.org/abs/cs/0502082}, note = {Source identifier: cs/0502082} }