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