TY  - RPRT
TI  - Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
AU  - E. Pontelli
AU  - T. C. Son
AU  - P. H. Tu
PY  - 2011
DO  - 10.1613/jair.2171
UR  - https://arxiv.org/abs/1110.2205
ID  - 1110.2205
ER  -