1998-report.bib

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

@comment{{Command line: /usr/bin/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")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@manual{CoqManual98,
  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}
}

@mastersthesis{blanqui98dea,
  author = {F. Blanqui},
  title = {{The Calculus of Algebraic and Inductive Constructions}},
  school = {Universit{\'e} Paris VII},
  year = 1998,
  topics = {rewriting, team, cclserver}
}