@inproceedings{conf/ijcai/KaminskiCGKMH18,
  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 27th International Joint Conference on Artificial Intelligence ({IJCAI} 2018), Stockholm, Sweden, July 13-19, 2018",
  pages = "1875--1881",
  publisher = "ijcai.org",
}