Francesca Spezzano, Sergio Greco. Chase Termination: A Constraints Rewriting Approach. PVLDB, 3(1):93-104, 2010. [doi]
@article{SpezzanoG10,
title = {Chase Termination: A Constraints Rewriting Approach},
author = {Francesca Spezzano and Sergio Greco},
year = {2010},
url = {http://www.comp.nus.edu.sg/~vldb2010/proceedings/files/papers/R08.pdf},
tags = {constraints, termination, graph-rewriting, rewriting, systematic-approach},
researchr = {https://researchr.org/publication/SpezzanoG10},
cites = {0},
citedby = {0},
journal = {PVLDB},
volume = {3},
number = {1},
pages = {93-104},
}