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

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

@string{springer = {Springer-Verlag}}

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

@inproceedings{FZ93,
  author = {M. C. F. Ferreira and Hans Zantema},
  title = {Total Termination of Term Rewriting},
  crossref = {rta93},
  pages = {213--227},
  note = {Extended version as \cite{FZ96}}
}

@article{FZ96,
  author = {M. C. F. Ferreira and Hans Zantema},
  title = {Total Termination of Term rewriting},
  journal = {Applicable Algebra in Engineering, Communication and
                Computing},
  year = {1996},
  volume = {7},
  number = {2},
  pages = {133-162}
}

@proceedings{rta93,
  title = {5th International Conference on Rewriting Techniques and Applications},
  booktitle = {5th International Conference on Rewriting Techniques and Applications},
  editor = {Claude Kirchner},
  publisher = springer,
  year = 1993,
  month = jun,
  address = {Montreal, Canada},
  series = lncs,
  volume = 690
}