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

@comment{{Command line: /usr/bin/bib2bib -c '$key="lepper:phd" or $key="lepper:04" or $key="touzet98" or $key="Weiermann:jsc" or $key="Touzet:thesis" or $key="touzet99rta" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@phdthesis{Touzet:thesis,
  author = {H{\'e}l{\`e}ne Touzet},
  title = {Propri\'et\'es combinatoires pour la terminaison de
			 syst\`emes de r\'e\'ecriture},
  school = {Universit\'e Henri Poincar\'e -- Nancy 1},
  address = {Nancy, France},
  note = {In French},
  month = sep,
  year = 1997,
  url = {http://www.loria.fr/~ethouzet/these/these.ps.gz}
}

@inproceedings{touzet98,
  author = {H{\'e}l{\`e}ne Touzet},
  title = {Encoding the {H}ydra Battle as a Rewrite System},
  pages = {267--276},
  crossref = {mfcs98}
}

@inproceedings{touzet99rta,
  author = {H{\'e}l{\`e}ne Touzet},
  title = {A Characterization of Multiply Recursive Functions with
                     {H}igman's Lemma},
  pages = {163--174},
  crossref = {rta99}
}

@article{lepper:04,
  author = {Ingo Lepper},
  title = {Simply Terminating Rewrite Systems with Long Derivations},
  journal = {Archive for Mathematical Logic},
  volume = 43,
  number = 1,
  pages = {1--18},
  year = 2004
}

@phdthesis{lepper:phd,
  author = {Ingo Lepper},
  title = {Simplification Orders in Term Rewriting},
  year = 2001,
  school = {Universit\"at M\"unster, Germany},
  note = {Available at 
           \ahrefurl{http://wwwmath.uni-muenster.de/logik/publ/diss/9.html}},
  url = {http://wwwmath.uni-muenster.de/logik/publ/diss/9.html}
}

@misc{Weiermann:jsc,
  author = {Andreas Weiermann},
  title = {Bounding derivation lengths with functions from
                        the slow growing hierarchy},
  howpublished = {Preprint M{\"{u}}nster},
  year = 1993
}

@proceedings{mfcs98,
  editor = {Lubos Brim and Jozef Gruska and Jir\'{\i} Zlatuska},
  booktitle = {Mathematical Foundations of Computer Science},
  title = {Mathematical Foundations of Computer Science},
  address = {Brno, Czech Republic},
  series = lncs,
  volume = 1450,
  publisher = springer,
  year = 1998,
  month = aug
}

@proceedings{rta99,
  booktitle = {10th International Conference on Rewriting Techniques and Applications},
  title = {10th International Conference on Rewriting Techniques and Applications},
  editor = {Paliath Narendran and Michael Rusinowitch},
  publisher = springer,
  month = jul,
  year = 1999,
  address = {Trento, Italy},
  series = lncs,
  volume = 1631
}