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

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

@string{springer = {Springer-Verlag}}

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

@inproceedings{statman:rta2000,
  author = {Rick Statman},
  title = {On the Word Problem for Combinators},
  crossref = {rta00},
  pages = {203--213}
}

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