@inproceedings{DBLP:conf/kr/GHKL2014,
  title = "Stable Model Semantics for Guarded Existential Rules and Description Logics",
  author = "Georg Gottlob and André Hernich and Clemens Kupke and Thomas Lukasiewicz",
  year = "2014",
  booktitle = "Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning‚ KR 2014‚ Vienna‚ Austria, July 20-24, 2014",
  editor = "Chitta Baral and Giuseppe De Giacomo",
  month = "July",
  pages = "258-267",
  publisher = "AAAI Press",
  url = "http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8011",
}