@inproceedings{ijcai2017p128, author = {David Carral and Irina Dragoste and Markus Krötzsch}, title = {Restricted Chase (Non)Termination for Existential Rules with Disjunctions}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {922--928}, year = {2017}, doi = {10.24963/ijcai.2017/128}, url = {https://doi.org/10.24963/ijcai.2017/128}, }