%0 Conference Paper %1 conf/aaai/CarralU20 %A Carral, David %A Urbani, Jacopo %B AAAI %D 2020 %I AAAI Press %K dblp %P 2758-2765 %T Checking Chase Termination over Ontologies of Existential Rules with Equality. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#CarralU20 %@ 978-1-57735-823-7

@inproceedings{conf/aaai/CarralU20, added-at = {2023-09-04T00:00:00.000+0200}, author = {Carral, David and Urbani, Jacopo}, biburl = {https://www.bibsonomy.org/bibtex/2fec77868e5394778a7e83ed13b2de655/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2020}, ee = {https://doi.org/10.1609/aaai.v34i03.5663}, interhash = {5200dadffa5cf0f201fb87a280b478d4}, intrahash = {fec77868e5394778a7e83ed13b2de655}, isbn = {978-1-57735-823-7}, keywords = {dblp}, pages = {2758-2765}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:05:48.000+0200}, title = {Checking Chase Termination over Ontologies of Existential Rules with Equality.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#CarralU20}, year = 2020 }