L. Lambers, H. Ehrig, and G. Taentzer, “Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences”, eceasst, vol. 10, Jul. 2008.