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

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

@string{jsc = {Journal of Symbolic Computation}}

@misc{freese93pc,
  author = {R. Freese},
  title = {personal communication},
  year = 1993
}

@article{LevyAgust:jsc96,
  author = {Jordi Levy and Jaume Agust\'\i},
  title = {Bi-rewriting Systems},
  journal = jsc,
  year = 1996,
  month = sep,
  volume = 22,
  number = 3,
  pages = {279--314}
}