Leen Lambers Hartmut Ehrig Gabriele Taentzer Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. 2008 10 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/139 db/journals/eceasst/eceasst10.html#LambersET08