1996-journal.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1996-journal.cite -ob 1996-journal.bib -c 'year = 1996 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@article{DiCosmo96,
  author = {Di Cosmo, Roberto and Kesner, Delia},
  title = {Combining algebraic rewriting,
		  extensional lambda calculi, and fixpoints},
  journal = {Theoretical Computer Science},
  year = 1996,
  volume = 169,
  number = 2,
  pages = {201--220},
  type_publi = {irevcomlec},
  topics = {team, lri},
  clef_labo = {DCK96R}
}
@article{KPT96,
  author = {Delia Kesner and Laurence Puel and Val Tannen},
  title = {{A} {T}yped {P}attern {C}alculus},
  journal = {Information and Computation},
  year = 1996,
  volume = 124,
  pages = {32--61},
  number = 1,
  month = jan,
  publisher = {Academic-Press},
  type_publi = {irevcomlec},
  topics = {team, lri},
  clef_labo = {KPT96R}
}
@article{marche96jsc,
  author = {Claude March{\'e}},
  topics = {team, lri, cclserver},
  title = {Normalized Rewriting: an alternative to Rewriting
		  modulo a Set of Equations},
  journal = {Journal of Symbolic Computation},
  year = 1996,
  volume = 21,
  number = 3,
  pages = {253--288},
  x-pdf = {http://www.lri.fr/~marche/articles/jsc96.ps.gz},
  abstract = {http://www.lri.fr/~marche/jsc96.html},
  type_publi = {irevcomlec},
  clef_labo = {Mar96R}
}