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}
}