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

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

@string{tcs = {Theoretical Computer Science}}

@article{V84:tcs,
  author = {Venturini-Zilli, M.},
  year = 1984,
  title = {Reduction Graphs in the {Lambda Calculus}},
  journal = tcs,
  volume = 29,
  pages = {251--275}
}