@inproceedings{MaKH-IJCAI2013,
  title = "Computing Stable Models for Nonmonotonic Existential Rules",
  author = "Despoina Magka and Markus Krötzsch and Ian Horrocks",
  year = "2013",
  booktitle = "Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)",
  location = "Beijing, China",
  month = "August",
}