Sergio Greco, Francesca Spezzano, Irina Trubitsyna. Stratification-based Criteria for Checking Chase Termination. In Nicola Ferro, Letizia Tanca, editors, Twentieth Italian Symposium on Advanced Database Systems, SEBD 2012, Venice, Italy, June 24-27, 2012, Proceedings. pages 185-192, Edizioni Libreria Progetto, Padova, Italy, 2012. [doi]
Abstract is missing.