TY - RPRT TI - Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates AU - Mario Alviano AU - Francesco Calimeri AU - Wolfgang Faber AU - Nicola Leone AU - Simona Perri PY - 2014 DO - 10.1613/jair.3432 UR - https://arxiv.org/abs/1401.4596 ID - 1401.4596 ER -