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

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

@string{springer = {Springer-Verlag}}

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

@inproceedings{Oost:Raam:94,
  author = {Vincent van Oostrom and Femke van Raamsdonk},
  title = { Weak orthogonality implies confluence: the higher-order case},
  pages = {379--392},
  year = 1994,
  editor = {A. Nerode and Y. V. Matiyasevich},
  booktitle = {Third International Symposium on the Logical Foundations
		of Computer Science},
  address = {{S}t. {P}etersburg, {R}ussia},
  month = jul,
  publisher = springer,
  series = lncs,
  volume = 813
}

@article{Mull:92,
  author = {M{\"u}ller, Fritz},
  title = {Confluence of the lambda calculus
           with left-linear algebraic rewriting},
  journal = {Information Processing Letters},
  pages = {293--299},
  volume = 41,
  month = apr,
  year = 1992,
  publisher = {North-Holland}
}