Kaminski, M., Cuenca Grau, B., Kostylev, E. V., & Horrocks, I. (2020). Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. Proceedings of the AAAI Conference on Artificial Intelligence, 34(03), 2862-2869. https://doi.org/10.1609/aaai.v34i03.5676