1996-other.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1996-other.cite -ob 1996-other.bib -c 'year = 1996 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@misc{jouannaud96b,
  author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
  title = {Strong Normalization of Inductive Data Type Systems},
  month = feb,
  year = 1996,
  topics = {rewriting, team, cclserver},
  ftp = {ftp://ftp.lri.fr/LRI/articles/jouannaud/idts.ps.gz},
  abstract = {http://www.lri.fr/~jouannau/abstracts/idts.html}
}

@misc{jouannaud96c,
  author = {Adel Bouhoula and Jean-Pierre Jouannaud},
  title = {Automata-Driven Automated Induction},
  month = jun,
  year = 1996,
  topics = {rewriting, team, cclserver},
  ftp = {ftp://ftp.lri.fr/LRI/articles/jouannaud/adai.ps.gz},
  abstract = {http://www.lri.fr/~jouannau/abstracts/adai.html}
}