"Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences."

Leen Lambers, Hartmut Ehrig, Gabriele Taentzer (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics