@inproceedings{conf/aaai/KaminskiCGKH20, title = "Complexity and expressive power of disjunction and negation in limit {Datalog}", author = "Mark Kaminski and Bernardo {Cuenca Grau} and Egor V. Kostylev and Ian Horrocks", year = "2020", booktitle = "Proceedings of the 34th {AAAI} Conference on Artificial Intelligence (AAAI 2020), New York, New York, {USA}, February 9--12, 2020", }