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

@comment{{Command line: /usr/bin/bib2bib -c '$key="W92:munster" or $key="L90:lics" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@techreport{W92:munster,
  author = {Andreas Weiermann},
  title = {Well-Rewrite Orderings and the Induced Recursive Path
                 Orderings},
  institution = {Institut {f\"ur} Mathematische Logik und Grundlagenforschung},
  year = {1992},
  type = {Unpublished note}
}

@inproceedings{L90:lics,
  author = {Pierre Lescanne},
  title = {Well rewrite orderings},
  crossref = {lics90},
  pages = {239--256}
}

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

@proceedings{lics90,
  booktitle = {Fifth } # lics,
  title = {Fifth } # lics,
  editor = {John C. Mitchell},
  year = 1990,
  month = jun,
  address = {Philadelphia, PA},
  organization = ieee
}