Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality | Publicación