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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Waldmann:rta98" or $key="Waldmann:phd" or $key="barendregt:lambda75:open" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@inproceedings{Waldmann:rta98,
  author = {Johannes Waldmann},
  title = {Normalisation of $S$-Terms is Decidable},
  crossref = {rta98},
  pages = {138--150}
}

@phdthesis{Waldmann:phd,
  author = {Johannes Waldmann},
  title = {The Combinator {S}},
  school = {Fakult\"at f\"ur Mathematik und Informatik of the
                   Friedrich-Schiller-Universit\"at Jena},
  address = {Jena, Germany},
  year = 1998,
  url = {http://www.imn.htwk-leipzig.de/\home{waldmann}}
}

@inproceedings{barendregt:lambda75:open,
  author = {Henk Barendregt},
  title = {Open Problems},
  pages = {367--370},
  booktitle = {Lambda Calculus and Computer Science Theory},
  editor = {Corrado B{\"o}hm},
  year = 1975,
  publisher = springer,
  series = lncs,
  volume = 37
}

@proceedings{rta98,
  booktitle = {9th International Conference on Rewriting Techniques and Applications},
  title = {9th International Conference on Rewriting Techniques and Applications},
  editor = {Tobias Nipkow},
  publisher = springer,
  year = 1998,
  month = apr,
  address = {Tsukuba, Japan},
  series = lncs,
  volume = 1379
}