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