The following publications are possibly variants of this publication:
- Stratification-based Criteria for Checking Chase TerminationSergio Greco, Francesca Spezzano, Irina Trubitsyna. sebd 2012: 185-192 [doi]
- Checking Chase Termination: Cyclicity Analysis and Rewriting TechniquesSergio Greco, Francesca Spezzano, Irina Trubitsyna. tkde, 27(3):621-635, 2015. [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]