@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="DJ90:htcs" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@incollection{DJ90:htcs,
  author = {Nachum Dershowitz and Jean-Pierre Jouannaud},
  year = 1990,
  title = {Rewrite Systems},
  booktitle = {Handbook of Theoretical Computer Science},
  volume = {B: Formal Methods and Semantics},
  chapter = 6,
  pages = {243--320},
  editor = {J. van Leeuwen},
  publisher = {North-Holland},
  address = {Amsterdam}
}