Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality

Leen Lambers, Fernando Orejas. Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. Theoretical Computer Science, 884:44-67, 2021. [doi]

Abstract

Abstract is missing.