Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences

Leen Lambers, Hartmut Ehrig, Gabriele Taentzer. Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. ECEASST, 10, 2008. [doi]

Abstract

Abstract is missing.