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

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

@string{springer = {Springer-Verlag}}

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

@inproceedings{dougherty:rta00,
  author = {Dan Dougherty and Claudio Guti\'errez},
  title = {Normal Forms and Reduction for Theories of Binary Relations},
  crossref = {rta00},
  pages = {95--109}
}

@book{FreydScedrov:Allegories,
  author = {Peter Freyd and Andre Scedrov},
  title = {Categories and Allegories},
  publisher = {North-Holland},
  year = 1990,
  volume = 39,
  series = {North Holland Mathematical Library}
}

@proceedings{rta00,
  booktitle = {Rewriting Techniques and Applications},
  title = {Rewriting Techniques and Applications},
  editor = {Leo Bachmair},
  publisher = springer,
  series = lncs,
  volume = 1833,
  month = jul,
  year = 2000,
  address = {Norwich, UK}
}