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

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

@string{springer = {Springer-Verlag}}

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

@inproceedings{WZ95,
  author = {H. R. Walters and Hans Zantema},
  title = {Rewrite Systems for Integer Arithmetic},
  crossref = {rta95},
  pages = {324--338}
}

@inproceedings{CohenW-RTA-91,
  author = {D. Cohen and Phil Watson},
  title = {An efficient representation of arithmetic for term rewriting},
  pages = {240-251},
  crossref = {rta91}
}

@proceedings{rta91,
  booktitle = {4th International Conference on Rewriting Techniques and Applications},
  title = {4th International Conference on Rewriting Techniques and Applications},
  editor = {Ronald. V. Book},
  year = 1991,
  month = apr,
  address = {Como, Italy},
  publisher = springer,
  series = lncs,
  volume = 488
}

@proceedings{rta95,
  booktitle = {6th International Conference on Rewriting Techniques and Applications},
  title = {6th International Conference on Rewriting Techniques and Applications},
  editor = {Jieh Hsiang},
  publisher = springer,
  year = 1995,
  month = apr,
  address = {Kaiserslautern, Germany},
  series = lncs,
  volume = 914
}