Lambers, L., Ehrig, H., & Taentzer, G. (2008). Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. Electronic Communications of the EASST, 10. https://doi.org/10.14279/tuj.eceasst.10.139