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

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

@misc{Mano:93,
  author = {Mano, Ken},
  month = sep,
  year = 1993,
  note = {Personal communication}
}

@techreport{Oost:91,
  author = {Oostrom, V. van},
  title = {Confluence by Decreasing Diagrams},
  type = {IR},
  number = 298,
  month = aug,
  institution = {Vrije Universiteit},
  address = {Amsterdam, The Netherlands},
  year = 1992,
  note = {To appear in {\em Theoretical Computer Science}}
}

@phdthesis{Oost:94,
  author = {Vincent van Oostrom},
  title = {Confluence for Abstract and Higher-Order Rewriting},
  school = {Vrije Universiteit, Amsterdam},
  year = {1994},
  month = mar,
  publisher = {Copyprint 2000, Enschede}
}