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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Oostrom97rta" or $key="Mellies:these" or $key="K80:mct" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@book{K80:mct,
  author = {Jan Willem Klop},
  year = 1980,
  title = {Combinatory Reduction Systems},
  series = {Mathematical Centre Tracts},
  publisher = {Mathematisch Centrum},
  address = {Amsterdam},
  volume = 127
}

@phdthesis{Mellies:these,
  author = {Melli{\`e}s, Paul-Andr\'e},
  title = {Description Abstraite des Syst{\`e}mes de R{\'e}{\'e}criture},
  school = {Universit{\'e} Paris VII},
  year = 1996,
  type = {Th{\`e}se de doctorat},
  month = {20 D\'ecembre}
}

@inproceedings{Oostrom97rta,
  author = {Oostrom, Vincent van},
  title = {Finite Family Developments},
  crossref = {rta97},
  pages = {308--322}
}

@proceedings{rta97,
  booktitle = {8th International Conference on Rewriting Techniques and Applications},
  title = {8th International Conference on Rewriting Techniques and Applications},
  editor = {Hubert Comon},
  publisher = springer,
  year = 1997,
  month = jun,
  address = {Barcelona, Spain},
  series = lncs,
  volume = 1232
}