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

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

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

@article{AM96,
  author = {Sergio Antoy and Aart Middeldorp},
  title = {A Sequential Reduction Strategy},
  journal = {Theoretical Computer Science},
  volume = 165,
  number = 1,
  year = 1996,
  pages = {75--95}
}

@article{K89:apal,
  author = {J. R. Kennaway},
  title = {Sequential evaluation strategies for parallel-or and
related reduction systems},
  journal = {Annals of Pure and Applied Logic},
  volume = 43,
  year = 1989,
  pages = {31--56}
}