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 = {10.1016/S1571-0661(05)80027-1},
url = {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 = {1},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {422-441},
}