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]
Abstract is missing.