@inproceedings{aaai-2020-limit-programs, title = "Complexity and Expressive Power of Disjunction and Negation in Limit Datalog", author = "Mark Kaminski and Egor V. Kostylev and Bernardo Cuenca Grau and Ian Horrocks.", year = "2020", booktitle = "Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020)", }