Kaminski, M., B. Cuenca Grau, E. V. Kostylev, and I. Horrocks. “Complexity and Expressive Power of Disjunction and Negation in Limit Datalog”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 03, Apr. 2020, pp. 2862-9, doi:10.1609/aaai.v34i03.5676.