TY  - RPRT
TI  - Eliminating Unfounded Set Checking for HEX-Programs
AU  - Thomas Eiter
AU  - Michael Fink
AU  - Thomas Krennwallner
AU  - Christoph Redl
AU  - Peter Schüller
PY  - 2013
UR  - https://arxiv.org/abs/1301.1390
ID  - 1301.1390
ER  -