TY  - RPRT
TI  - SPARC - Sorted ASP with Consistency Restoring Rules
AU  - Evgenii Balai
AU  - Michael Gelfond
AU  - Yuanlin Zhang
PY  - 2013
UR  - https://arxiv.org/abs/1301.1386
ID  - 1301.1386
ER  -