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

From MaRDI portal
(Redirected from Publication:2049986)