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

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

@string{tcs = {Theoretical Computer Science}}

@article{yamada00tcs,
  author = {Toshiyuki Yamada and J{\"u}rgen Avenhaus and Carlos
            Lor\'{\i}a S\'aenz and Aart Middeldorp},
  title = {Logicality of Conditional Rewrite Systems},
  journal = tcs,
  volume = 236,
  number = {1--2},
  month = apr,
  year = 2000,
  pages = {209--232},
  url = {http://www1-c703.uibk.ac.at/\home{ami}/research/papers/tcs00.html}
}