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

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

@string{ieee = {IEEE}}

@string{springer = {Springer-Verlag}}

@string{mitpress = {The MIT Press}}

@inproceedings{jouannaud94ctrs,
  author = {Jean-Pierre Jouannaud and Walid Sadfi},
  title = {Strong sequentiality of left-linear overlapping rewrite
                   	systems},
  crossref = {ctrs94}
}

@inproceedings{toyama92,
  author = {Yoshihito Toyama},
  title = {Strong Sequentiality of Left Linear Overlapping
                 	Term Rewriting Systems},
  crossref = {lics92}
}

@incollection{HL91:mitb,
  author = {G{\'e}rard Huet and Jean-Jacques L{\'e}vy},
  title = {Computations in orthogonal rewriting systems, {II}},
  year = {1991},
  booktitle = {Computational Logic: Essays in Honor of Alan
                 Robinson},
  editor = {Jean-Louis Lassez and Gordon Plotkin},
  chapter = 12,
  pages = {415--443},
  publisher = mitpress,
  address = {Cambridge, MA}
}

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

@techreport{HL78:inria,
  author = {G{\'e}rard Huet and Dallas S. Lankford},
  month = mar,
  year = {1978},
  title = {On the Uniform Halting Problem for Term Rewriting Systems},
  type = {Rapport laboria},
  number = {283},
  institution = {Institut de Recherche en Informatique et en Automatique},
  address = {Le Chesnay, France}
}

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

@proceedings{ctrs94,
  booktitle = {Proceedings of the Fourth International Workshop on
                 	Conditional Rewriting Systems},
  title = {Proceedings of the Fourth International Workshop on
                 	Conditional Rewriting Systems},
  address = {Jerusalem, Israel},
  month = jul,
  year = 1994,
  publisher = springer,
  editor = {Nachum Dershowitz and N. Lindenstrauss}
}

@proceedings{lics92,
  booktitle = {Seventh } # lics,
  title = {Seventh } # lics,
  editor = {Andre Scedrov},
  year = 1992,
  month = jun,
  address = {Santa Cruz, CA},
  organization = ieee
}