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

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

@misc{HofbauerWaldmann05termination,
  author = {Dieter Hofbauer and Johannes Waldmann},
  title = {Termination of $\{aa \rightarrow bc, bb \rightarrow ac,
               cc \rightarrow ab\}$},
  howpublished = {Preprint},
  year = 2005,
  url = {http://www.theory.informatik.uni-kassel.de/\home{dieter}/research/papers/Z086.ps.gz}
}