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

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

@string{springer = {Springer-Verlag}}

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

@inproceedings{B90:cade,
  author = {Franz Baader},
  title = {Rewrite Systems for Varieties of Semigroups},
  booktitle = {Proceedings of the Tenth International Conference on
                 Automated Deduction (Kaiserslautern, West Germany)},
  editor = {M. Stickel},
  publisher = springer,
  address = {Berlin},
  series = lncs,
  volume = 449,
  pages = {381--395},
  year = 1990,
  month = jul
}