1995-book.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1995-book.cite -ob 1995-book.bib -c 'year = 1995 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@incollection{fernandez95adt,
  author = {Maribel Fern{\'a}ndez and Jean-Pierre Jouannaud},
  title = {Modular Termination of Term Rewriting Systems Revisited},
  topics = {team, lri, reecriture, cclserver},
  booktitle = {Recent Trends in Data Type Specification},
  publisher = {Springer},
  year = 1995,
  editor = {Egidio Astesiano and Gianni Reggio and Andrzej Tarlecki},
  series = {Lecture notes in Computer Science, vol.906},
  pages = {255-272},
  note = {Refereed selection of papers presented at ADT'94},
  type_publi = {icolcomlec},
  clef_labo = {FJ95E}
}

@incollection{jouannaud93,
  author = {Jean-Pierre Jouannaud},
  topics = {rewriting, team, lri, cclserver},
  title = {Rewrite Proofs and Computations},
  booktitle = {Proof and Computation},
  publisher = {Springer},
  year = 1995,
  editor = {Helmut Schwichtenberg},
  volume = 139,
  series = {F: Computer and Systems Sciences},
  pages = {173--218},
  note = {NATO Advanced Study Institute, International
		  	Summer School held in Marktoberdorf, Germany, July
		  	20 -- August 1, 1993},
  ftp = {ftp://ftp.lri.fr/LRI/articles/jouannaud/rpac.ps.gz},
  abstract = {http://www.lri.fr/~jouannau/abstracts/rpac.html},
  type_publi = {diffusion},
  clef_labo = {Jou95D}
}