Lambers, L.; Ehrig, H.; Taentzer, G. Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. ECEASST 2008, 10.