Nachum Dershowitz, Jean-Pierre Jouannaud. Rewrite Systems. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 243-320, 1990.
@incollection{DershowitzJ90,
title = {Rewrite Systems},
author = {Nachum Dershowitz and Jean-Pierre Jouannaud},
year = {1990},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/DershowitzJ90},
cites = {0},
citedby = {0},
pages = {243-320},
booktitle = {Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)},
}