Kaminski, M.; Cuenca Grau, B.; Kostylev, E. V.; Horrocks, I. Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. AAAI 2020, 34, 2862-2869.