Kaminski, Mark, Bernardo Cuenca Grau, Egor V. Kostylev, and Ian Horrocks. “Complexity and Expressive Power of Disjunction and Negation in Limit Datalog”. Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 03 (April 3, 2020): 2862-2869. Accessed March 28, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/5676.