@misc{indiciaeb4334dddbd70,
  title = {Towards Abstraction in ASP with an Application on Reasoning about Agent Policies},
  author = {Zeynep G. Saribatur and Thomas Eiter},
  year = {2018},
  url = {https://arxiv.org/abs/1809.06638},
  note = {Source identifier: 1809.06638}
}