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

@comment{{Command line: /usr/bin/bib2bib -c '$key="BL79:jacm" or $key="K92:ox" or $key="V84:tcs" or $key="K80:mct" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{jacm = {J. of the Association for Computing Machinery}}

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

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

@article{BL79:jacm,
  author = {Berry, G{\'e}rard and L{\'e}vy, Jean-Jacques},
  year = 1979,
  title = {Mimimal and Optimal Computations of Recursive Programs},
  journal = jacm,
  volume = 26,
  pages = {148--175}
}

@article{V84:tcs,
  author = {Venturini-Zilli, M.},
  year = 1984,
  title = {Reduction Graphs in the {Lambda Calculus}},
  journal = tcs,
  volume = 29,
  pages = {251--275}
}