TY  - RPRT
TI  - Fuzzy Answer Set Computation via Satisfiability Modulo Theories
AU  - Mario Alviano
AU  - Rafael Penaloza
PY  - 2015
DO  - 10.1017/s1471068415000241
UR  - https://arxiv.org/abs/1507.03920
ID  - 1507.03920
ER  -