Kaminski M, Cuenca Grau B, Kostylev EV, Horrocks I. Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. AAAI [Internet]. 2020Apr.3 [cited 2024Apr.19];34(03):2862-9. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/5676