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

@comment{{Command line: /usr/bin/bib2bib -c '$key="K92:ox" or $key="DO90:tcs" or $key="V90:free" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{tcs = {Theoretical Computer Science}}

@incollection{K92:ox,
  author = {Jan Willem Klop},
  year = 1992,
  title = {Term Rewriting Systems},
  booktitle = {Handbook of Logic in Computer Science},
  editor = {S. Abramsky and D. M. Gabbay and T. S. E. Maibaum},
  publisher = {Oxford University Press},
  volume = 2,
  chapter = 1,
  pages = {1--117},
  address = {Oxford}
}

@techreport{V90:free,
  author = {Roel C. {de Vrijer}},
  title = {Unique normal forms for {Combinatory Logic} with Parallel
                 Conditional, a case study in conditional rewriting},
  type = {Technical Report},
  institution = {Free University},
  address = {Amsterdam},
  year = 1990
}

@article{DO90:tcs,
  author = {Nachum Dershowitz and Mitsuhiro Okada},
  year = 1990,
  title = {A Rationale for Conditional Equational Programming},
  journal = tcs,
  volume = 75,
  pages = {111--138}
}