TY  - RPRT
TI  - Translating NP-SPEC into ASP
AU  - Mario Alviano
AU  - Wolfgang Faber
PY  - 2013
UR  - https://arxiv.org/abs/1301.1385
ID  - 1301.1385
ER  -