The following publications are possibly variants of this publication:
- Stratification Criteria and Rewriting Techniques for Checking Chase TerminationSergio Greco, Francesca Spezzano, Irina Trubitsyna. pvldb, 4(11):1158-1168, 2011. [doi]
- Rewriting-based Check of Chase TerminationMarco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. amw 2015: [doi]
- Chase Termination: A Constraints Rewriting ApproachFrancesca Spezzano, Sergio Greco. pvldb, 3(1):93-104, 2010. [doi]