1991-phd.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1991-phd.cite -ob 1991-phd.bib -c 'year = 1991 and topics : "team" and $type="phdthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@phdthesis{devie91these,
author = {Herv{\'e} Devie},
title = {Une approche alg{\'e}brique de la
r{\'e}{\'e}criture de preuves {\'e}quationnelles et
son application {\`a} la d{\'e}rivation de
proc{\'e}dures de compl{\'e}tion},
school = {Universit{\'e} Paris-Sud},
year = 1991,
address = {Orsay, France},
month = oct,
type = {Th{\`e}se de Doctorat},
location = {jpj},
topics = {rewriting, old-team}
}