@misc{indiciaeff58e0dd852b,
  title = {Nested HEX-Programs},
  author = {Thomas Eiter and Thomas Krennwallner and Christoph Redl},
  year = {2011},
  url = {https://arxiv.org/abs/1108.5626},
  note = {Source identifier: 1108.5626}
}