@misc{indiciaeb20419096685,
  title = {Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming},
  author = {Mutsunori Banbara and Martin Gebser and Katsumi Inoue and Torsten Schaub and Takehide Soh and Naoyuki Tamura and Matthias Weise},
  year = {2013},
  url = {https://arxiv.org/abs/1312.6113},
  note = {Source identifier: 1312.6113}
}