Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning (Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014)

(untitled) - Kaminski, M; Nenov, Y; Cuenca Grau, B