Diego Calvanese, Magdalena Ortiz, Mantas Simkus. Verification of Evolving Graph-structured Data under Expressive Path Constraints. In Wim Martens, Thomas Zeume, editors, 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. Volume 48 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
Abstract is missing.