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
}