"Stratification Criteria and Rewriting Techniques for Checking Chase ..."

Sergio Greco, Francesca Spezzano, Irina Trubitsyna (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics