Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. Rewriting-based Check of Chase Termination. In Andrea Calì, Maria-Esther Vidal, editors, Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015. Volume 1378 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
No reviews for this publication, yet.