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

@comment{{Command line: /usr/bin/bib2bib -c '$key="KM91" or $key="HL91:mit" or $key="HL79:inria" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{mitpress = {The MIT Press}}

@article{KM91,
  author = {Jan Willem Klop and Aart Middeldorp},
  title = {Sequentiality in Orthogonal Term Rewriting Systems},
  journal = {Journal of Symbolic Computation},
  volume = 12,
  year = 1991,
  pages = {161-195}
}

@incollection{HL91:mit,
  author = {G{\'e}rard Huet and Jean-Jacques L{\'e}vy},
  title = {Computations in orthogonal rewriting systems, {I and II}},
  year = {1991},
  booktitle = {Computational Logic: Essays in Honor of Alan
                 Robinson},
  editor = {Jean-Louis Lassez and Gordon Plotkin},
  pages = {395--443},
  publisher = mitpress,
  address = {Cambridge, MA},
  note = {This is a revision of \cite{HL79:inria}.}
}

@techreport{HL79:inria,
  author = {G\'erard Huet and Jean-Jacques L\'evy},
  title = {Call by need computations in non-ambiguous linear
                      term rewriting systems},
  type = {Rapport Laboria},
  number = 359,
  institution = {Institut National de Recherche en Informatique
  		     et en Automatique},
  address = {Le Chesnay, France},
  year = 1979,
  month = aug
}