TY - RPRT TI - Graphs and colorings for answer set programming AU - Kathrin Konczak AU - Thomas Linke AU - Torsten Schaub PY - 2005 UR - https://arxiv.org/abs/cs/0502082 ID - cs/0502082 ER -