@misc{indiciaef0238e0e47fd,
  title = {Eliminating Unfounded Set Checking for HEX-Programs},
  author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Schüller},
  year = {2013},
  url = {https://arxiv.org/abs/1301.1390},
  note = {Source identifier: 1301.1390}
}