Carral et al. "Restricted Chase (Non)Termination for Existential Rules with Disjunctions." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/128
Markdown
[Carral et al. "Restricted Chase (Non)Termination for Existential Rules with Disjunctions." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/carral2017ijcai-restricted/) doi:10.24963/IJCAI.2017/128
BibTeX
@inproceedings{carral2017ijcai-restricted,
title = {{Restricted Chase (Non)Termination for Existential Rules with Disjunctions}},
author = {Carral, David and Dragoste, Irina and Krötzsch, Markus},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {922-928},
doi = {10.24963/IJCAI.2017/128},
url = {https://mlanthology.org/ijcai/2017/carral2017ijcai-restricted/}
}