TY  - RPRT
TI  - Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
AU  - Marcello Balduccini
AU  - Michael Gelfond
PY  - 2013
UR  - https://arxiv.org/abs/1301.1387
ID  - 1301.1387
ER  -