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

@comment{{Command line: /usr/bin/bib2bib -c '$key="KP82:lms" or $key="moser:aaecc2009" or $key="C90:london" or $key="DJ90:htcs" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{aaecc = {Applicable Algebra in Engineering, Communication and Computing}}

@incollection{DJ90:htcs,
  author = {Nachum Dershowitz and Jean-Pierre Jouannaud},
  year = 1990,
  title = {Rewrite Systems},
  booktitle = {Handbook of Theoretical Computer Science},
  volume = {B: Formal Methods and Semantics},
  chapter = 6,
  pages = {243--320},
  editor = {J. van Leeuwen},
  publisher = {North-Holland},
  address = {Amsterdam}
}

@techreport{C90:london,
  author = {E. A. Cichon},
  title = {Bounds on Derivation Lengths from Termination Proofs},
  type = {Technical Report},
  number = {CSD-TR-622},
  year = 1990,
  month = jun,
  institution = {Department of Computer Science, University of London},
  address = {Surrey, England}
}

@article{KP82:lms,
  author = {Laurie Kirby and Jeff Paris},
  year = 1982,
  title = {Accessible independence results for {Peano} arithmetic},
  journal = {Bulletin London Mathematical Society},
  volume = 14,
  pages = {285--293}
}

@article{moser:aaecc2009,
  author = {Georg Moser},
  title = {The {H}ydra Battle and {C}ichon's Principle},
  journal = aaecc,
  year = {2009},
  note = {\texttt{doi:10.1007/s00200-009-0094-4}},
  volume = 20,
  number = 2,
  pages = {133-158},
  url = {http://www.springerlink.com/content/100499/?Content+Status=Accepted}
}