Kaminski, M., Y. Nenov, and B. Cuenca Grau. “Datalog Rewritability of Disjunctive Datalog Programs and Its Applications to Ontology Reasoning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.8854.