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

@comment{{Command line: /usr/bin/bib2bib -c '$key="BL87:scp" or $key="L79:ltu" or $key="LescanneALP92" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{lncs = {Lecture Notes in Computer Science}}

@inproceedings{LescanneALP92,
  author = {Lescanne, Pierre},
  title = {Termination of Rewrite Systems by Elementary Interpretations},
  crossref = {alp92},
  pages = {21-36}
}

@techreport{L79:ltu,
  author = {Dallas S. Lankford},
  month = may,
  year = {1979},
  title = {On Proving Term Rewriting Systems are {Noetherian}},
  type = {Memo},
  number = {MTP-3},
  institution = {Mathematics Department, Louisiana Tech. University},
  address = {Ruston, LA},
  note = {Revised October 1979}
}

@article{BL87:scp,
  author = {Ahlem Ben Cherifa and Pierre Lescanne},
  month = oct,
  year = 1987,
  title = {Termination of Rewriting Systems by Polynomial Interpretations
                 and its Implementation},
  journal = {Science of Computer Programming},
  volume = 9,
  number = 2,
  pages = {137--159}
}

@proceedings{alp92,
  booktitle = {3th International Conference on Algebraic and
			Logic Programming},
  title = {3th International Conference on Algebraic and
			Logic Programming},
  editor = {H\'el\`ene Kirchner and Giorgio Levi},
  month = sep,
  year = 1992,
  publisher = springer,
  series = lncs,
  volume = 632,
  address = {Volterra, Italy}
}