2000-other.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2000-other.cite -ob 2000-other.bib -c 'year = 2000 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{cime2,
author = {Evelyne Contejean and Claude March{\'e} and
Benjamin Monate and Xavier Urbain},
title = {{CiME version 2}},
note = {Available at
\url{http://cime.lri.fr/}},
year = 2000,
url = {http://cime.lri.fr/},
topics = {team,lri}
}
@misc{letouzey2000dea,
title = {{Ex{\'e}cution de termes de preuves: une nouvelle
m{\'e}thode d'extraction pour le Calcul des Constructions
Inductives}},
author = {Pierre Letouzey},
type = {Rapport de DEA},
year = 2000,
howpublished = {Universit{\'e} Paris VI},
topics = {team, lri},
type_publi = {interne},
url = {http://www.lri.fr/~letouzey/download/rapport_dea.ps.gz }
}