Dershowitz, Nachum; Jouannaud, Jean-Pierre Rewrite systems. (English) Zbl 0900.68283 van Leeuwen, Jan (ed.), Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 243-320 (1990). For the entire collection see [Zbl 0714.68001]. Cited in 1 ReviewCited in 385 Documents MSC: 68Q42 Grammars and rewriting systems PDF BibTeX XML Cite \textit{N. Dershowitz} and \textit{J.-P. Jouannaud}, in: Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 243--320 (1990; Zbl 0900.68283)