1992-report.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1992-report.cite -ob 1992-report.bib -c 'year = 1992 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}}
@techreport{paulin92rr,
author = {Christine Paulin-Mohring},
title = {{Inductive Definitions in the System {Coq} - Rules and Properties}},
institution = {LIP-ENS Lyon},
year = 1992,
number = {92-49},
topics = {team},
type_publi = {interne}
}
@techreport{comon92habil,
author = {Hubert Comon},
topics = {constraints, old-team},
location = {biblio-equipe},
title = {Resolution de contraintes dans des algebres de
termes: rapport d'habilitation},
institution = {{LRI, Univ. Paris-Sud}},
year = 1992,
number = 751,
ftp = {ftp://ftp.lri.fr/LRI/articles/comon/habilitation.dvi.Z}
}
@techreport{comon92iterms,
author = {Hubert Comon},
title = {On Unification of Terms with Integer Exponents},
institution = {{L.R.I}},
location = {HC, biblio-equipe},
topics = {unification, team},
year = 1992,
type = {Research Report},
number = 770,
address = {Univ. Paris-Sud, Orsay},
month = aug,
note = {To appear in {\em Mathematical Systems Theory}}
}