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

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

@string{doklady = {Doklady Mathematics}}

@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}
}

@article{adian09doklady,
  author = {Sergei Adian},
  title = {Upper bound on the derivational complexity in some word
           rewriting system},
  journal = doklady,
  volume = 80,
  number = 2,
  month = oct,
  year = 2009,
  pages = {679--683},
  doi = {10.1134/S1064562409050135},
  url = {http://www.springerlink.com/content/j4j37k5773q08688/}
}