Nachum Dershowitz, Jean-Pierre Jouannaud. Rewrite Systems. In Handbook of Theoretical Computer Science. Volume B. Formal Models and Semantics. pages 245-320, Elsevier, 1994.
@incollection{DershowitzJ94,
title = {Rewrite Systems},
author = {Nachum Dershowitz and Jean-Pierre Jouannaud},
year = {1994},
researchr = {https://researchr.org/publication/DershowitzJ94},
cites = {0},
citedby = {0},
pages = {245-320},
booktitle = {Handbook of Theoretical Computer Science. Volume B. Formal Models and Semantics},
publisher = {Elsevier},
}