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