@article{distributedanswersetcoloringstablemodels,
  title = {Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring},
  author = {Marco De Bortoli},
  year = {2019},
  eprint = {1909.08263},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1909.08263v1},
}