Leen Lambers, Hartmut Ehrig, Gabriele Täntzer
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
GT-VMT, 2008.
@article{GT-VMT-2008-LambersET, author = "Leen Lambers and Hartmut Ehrig and Gabriele Täntzer", ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/139", journal = "{Electronic Communications of the EASST}", title = "{Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences}", volume = 10, year = 2008, }