@inproceedings{DBLP:conf/ijcai/KaminskiGKMH18,
  title = "Stratified Negation in Limit Datalog Programs",
  author = "Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden.",
  pages = "1875--1881",
  url = "https://doi.org/10.24963/ijcai.2018/259",
  doi = "10.24963/ijcai.2018/259",
}