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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Oost:Raam:94" or $key="Oostrom-TCS97" or $key="Oostrom-PhD" or $key="Raamsdonk-PhD" or $key="T93:tlca" or $key="N91:lics" or $key="K80:mct" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{springer = {Springer-Verlag}}

@string{tcs = {Theoretical Computer Science}}

@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{Oostrom-PhD,
  author = {Oostrom, Vincent van},
  title = {Confluence for Abstract and Higher-Order Rewriting},
  school = {Vrije Universiteit},
  address = {Amsterdam},
  year = 1994
}

@article{Oostrom-TCS97,
  author = {Oostrom, Vincent van},
  title = {Developing Developments},
  journal = tcs,
  volume = 175,
  year = 1997,
  pages = {159--181}
}

@phdthesis{Raamsdonk-PhD,
  author = {Raamsdonk, Femke van},
  title = {Confluence and Normalization for Higher-Order Rewriting},
  school = {Vrije Universiteit},
  address = {Amsterdam},
  year = 1996
}

@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
}

@inproceedings{T93:tlca,
  author = {Masako Takahashi},
  title = {$\Lambda$-calculi with Conditional Rules},
  booktitle = {Proceedings of the International Conference on Typed Lambda
                 Calculi and Applications (Utrecht, The Netherlands)},
  year = 1993,
  editor = {M. Bezem and J. F. Groote},
  publisher = springer,
  address = {Berlin},
  series = lncs,
  volume = 664,
  pages = {406--417}
}

@inproceedings{N91:lics,
  author = {Tobias Nipkow},
  title = {Higher-Order Critical Pairs},
  crossref = {lics91},
  pages = {342--349}
}

@string{lics = {Symposium on Logic in Computer Science}}

@proceedings{lics91,
  booktitle = {Sixth } # lics,
  title = {Sixth } # lics,
  editor = {Gilles Kahn},
  year = 1991,
  month = jul,
  address = {Amsterdam, The Netherlands},
  organization = ieee
}