TY - RPRT TI - Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring AU - Marco De Bortoli PY - 2019 DO - 10.4204/eptcs.306.60 UR - https://arxiv.org/abs/1909.08263 ID - 1909.08263 ER -