ASP(AC): Answer Set Programming with Algebraic Constraints

@misc{eiter2020aspacanswerset,
      title={ASP(AC): Answer Set Programming with Algebraic Constraints},
      author={Thomas Eiter and Rafael Kiesel},
      year={2020},
      eprint={2008.04008},
      archivePrefix={arXiv},
      primaryClass={cs.AI},
      url={https://arxiv.org/abs/2008.04008},
}