Marco Calautti, Georg Gottlob, Andreas Pieris. Chase Termination for Guarded Existential Rules. In Andrea Calì, Maria-Esther Vidal, editors, Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015. Volume 1378 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
@inproceedings{CalauttiGP15-0,
title = {Chase Termination for Guarded Existential Rules},
author = {Marco Calautti and Georg Gottlob and Andreas Pieris},
year = {2015},
url = {http://ceur-ws.org/Vol-1378/AMW_2015_paper_28.pdf},
researchr = {https://researchr.org/publication/CalauttiGP15-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015},
editor = {Andrea Calì and Maria-Esther Vidal},
volume = {1378},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}