Rewriting Guarded Existential Rules into Small Datalog Programs.

Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus

Browse the full ICDT paper archive.