TY  - RPRT
TI  - Properties of Answer Set Programming with Convex Generalized Atoms
AU  - Mario Alviano
AU  - Wolfgang Faber
PY  - 2013
UR  - https://arxiv.org/abs/1312.6096
ID  - 1312.6096
ER  -