M. Kaminski, B. Cuenca Grau, E. V. Kostylev, and I. Horrocks, “Complexity and Expressive Power of Disjunction and Negation in Limit Datalog”, AAAI, vol. 34, no. 03, pp. 2862-2869, Apr. 2020.