@misc{indiciaed88b39fc9591,
  title = {Fuzzy Answer Set Computation via Satisfiability Modulo Theories},
  author = {Mario Alviano and Rafael Penaloza},
  year = {2015},
  doi = {10.1017/s1471068415000241},
  url = {https://arxiv.org/abs/1507.03920},
  note = {Source identifier: 1507.03920}
}