1991-other.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 1991-other.cite -ob 1991-other.bib -c 'year = 1991 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}}

@unpublished{comon91jscII,
  author = {Hubert Comon},
  topics = {teamnop},
  title = {Ground Normal Forms and Inductive Proofs. Part {II}:
		  Conditional Grammars},
  note = {submitted},
  year = 1991
}

@unpublished{comon91jscIII,
  author = {Hubert Comon},
  topics = {teamnop},
  title = {Ground Normal Forms and Inductive proofs. Part {III}:
		  Specification Transformations},
  note = {In preparation},
  year = 1991
}

@misc{delor91these,
  author = {Catherine Delor},
  topics = {rewriting, disunification, old-team},
  title = {Terminaison de syst{\`e}mes de r{\'e}{\'e}criture,
		 application {\`a} la transformation de formules
		 {\'e}quationnelles},
  year = 1991,
  location = {HC 699},
  howpublished = {Th{\`e}se de Doctorat, Universit{\'e} Paris {VII}, France}
}

@unpublished{hsiang91,
  author = {Jieh Hsiang and Jean-Pierre Jouannaud},
  title = {Complete sets of inference rules for {E}-unification
		  problems},
  year = 1991,
  topics = {unification, teamnop},
  note = {Proc. Worshop on Unification, Val d'Ajol, 1988, Revised version in
		  preparation}
}

@unpublished{jakoubovitch91,
  author = {Judith Jakoubovitch},
  topics = {teamnop},
  title = {Priority Rewrite Systems},
  note = {to appear},
  year = 1991
}