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

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

@string{ieee = {IEEE}}

@string{springer = {Springer-Verlag}}

@string{lncs = {Lecture Notes in Computer Science}}

@inproceedings{nieuwenhuis93rta,
  author = {Robert Nieuwenhuis},
  title = {A precedence-based total {AC}-compatible ordering},
  crossref = {rta93},
  pages = {374-388}
}

@inproceedings{CNNR:lics98,
  author = {Hubert Comon and Paliath Narendran and Robert
			Nieuwenhuis and Micha{\"e}l Rusinowitch},
  title = {Decision Problems in Ordered Rewriting},
  crossref = {lics98}
}

@proceedings{lics98,
  booktitle = {Thirteenth IEEE Annual Symposium on Logic in Computer Science},
  title = {Thirteenth IEEE Annual Symposium on Logic in Computer Science},
  editor = {Vaughan Pratt},
  year = 1998,
  month = jun,
  address = {Indianapolis, IN},
  organization = ieee
}

@proceedings{rta93,
  title = {5th International Conference on Rewriting Techniques and Applications},
  booktitle = {5th International Conference on Rewriting Techniques and Applications},
  editor = {Claude Kirchner},
  publisher = springer,
  year = 1993,
  month = jun,
  address = {Montreal, Canada},
  series = lncs,
  volume = 690
}