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