M. Kaminski, Y. Nenov, and B. Cuenca Grau, “Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning”, AAAI, vol. 28, no. 1, Jun. 2014.