A core language for rewriting

Eelco Visser, Zine-El-Abidine Benaissa. A core language for rewriting. Electronic Notes in Theoretical Computer Science, 15:422-441, 1998. [doi]

@article{VisserB98,
  title = {A core language for rewriting},
  author = {Eelco Visser and Zine-El-Abidine Benaissa},
  year = {1998},
  doi = {http://dx.doi.org/10.1016/S1571-0661(05)80027-1},
  tags = {rule-based, SDF, graph transformation, traversal, transformation language, term rewriting, graph-rewriting, rules, transformation system, abstraction, rewriting, rewriting strategies, ASF+SDF, transformation},
  researchr = {https://researchr.org/publication/VisserB98},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {15},
  pages = {422-441},
}