Floris Geerts, Bart Kuijpers. Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases. In Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani, editors, Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings. Volume 2572 of Lecture Notes in Computer Science, pages 190-206, Springer, 2003. [doi]
@inproceedings{GeertsK03,
title = {Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases},
author = {Floris Geerts and Bart Kuijpers},
year = {2003},
url = {http://link.springer.de/link/service/series/0558/bibs/2572/25720190.htm},
tags = {constraints, termination, logic},
researchr = {https://researchr.org/publication/GeertsK03},
cites = {0},
citedby = {0},
pages = {190-206},
booktitle = {Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings},
editor = {Diego Calvanese and Maurizio Lenzerini and Rajeev Motwani},
volume = {2572},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00323-1},
}