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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Bertrand-94" or $key="Dershowitz05OpenClosed" or $key="M85:tcs" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{tcs = {Theoretical Computer Science}}

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

@article{M85:tcs,
  author = {Yves M{\'e}tivier},
  month = jan,
  year = {1985},
  title = {Calcul de longueurs de cha{\^\i}nes de r{\'e}{\'e}criture dans
                 le mono{\"\i}de libre},
  journal = tcs,
  volume = {35},
  number = {1},
  pages = {71--87}
}

@article{Bertrand-94,
  author = {A. Bertrand},
  title = {Sur une conjecture {d'Yves} {M\'etivier}},
  journal = tcs,
  volume = 123,
  number = 1,
  year = 1994,
  pages = {21-30}
}

@inproceedings{Dershowitz05OpenClosed,
  author = {Nachum Dershowitz},
  title = {{O}pen. {C}losed. {O}pen},
  crossref = {rta05},
  url = {http://www.cs.tau.ac.il/\home{nachumd}/papers/OpenClosed.pdf}
}

@proceedings{rta05,
  title = {16th International Conference on Rewriting Techniques},
  booktitle = {16th International Conference on Rewriting Techniques},
  editor = {J\"urgen Giesl},
  publisher = springer,
  series = lncs,
  volume = 3467,
  address = {Nara, Japan},
  month = apr,
  year = 2005
}