@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc 1998-report.cite -ob 1998-report.bib -c 'year = 1998 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' /users/demons/filliatr/toccata/web/biblio/bibliodemons/abbrevs.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons2.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons3.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/team.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/crossrefs.bib}}
  title = {The {Coq Proof Assistant Reference Manual} Version 6.2},
  author = {B. Barras and S. Boutin and C. Cornes and J. Courant and 
                  D. Delahaye and D. de Rauglaudre and J.-C. Filli{\^a}tre and 
                  E. Gim{\'e}nez and H. Herbelin and G. Huet and P. Loiseleur 
                  and C. Mu{\~{n}}oz and
                  C. Murthy and C. Parent and C. Paulin-Mohring and
                  A. Sa{\"\i}bi and B. Werner},
  organization = {{INRIA-Rocquencourt}-{CNRS}-{Universit{\'e} Paris Sud}-
                       {ENS Lyon}},
  ftp = {ftp://ftp.inria.fr/INRIA/coq/V6.2/doc},
  year = 1998,
  month = may,
  topics = {team, lri},
  type_publi = {manuel},
  clef_labo = {BBC+98M}
  author = {F. Blanqui},
  title = {{The Calculus of Algebraic and Inductive Constructions}},
  school = {Universit{\'e} Paris VII},
  year = 1998,
  topics = {rewriting, team, cclserver}