Sergio Greco, Francesca Spezzano, Irina Trubitsyna. Stratification Criteria and Rewriting Techniques for Checking Chase Termination. PVLDB, 4(11):1158-1168, 2011. [doi]
@article{GrecoST11,
title = {Stratification Criteria and Rewriting Techniques for Checking Chase Termination},
author = {Sergio Greco and Francesca Spezzano and Irina Trubitsyna},
year = {2011},
url = {http://www.vldb.org/pvldb/vol4/p1158-greco.pdf},
researchr = {https://researchr.org/publication/GrecoST11},
cites = {0},
citedby = {0},
journal = {PVLDB},
volume = {4},
number = {11},
pages = {1158-1168},
}