1991-book.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1991-book.cite -ob 1991-book.bib -c 'year = 1991 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@incollection{comon89,
author = {Hubert Comon},
topics = {disunification, old-team},
location = {HC 434},
booktitle = {Computational Logic: Essays in Honor of Alan Robinson},
title = {Disunification: a Survey},
year = 1991,
publisher = {{MIT} Press},
editor = {Jean-Louis Lassez and Gordon Plotkin},
ftp = {ftp://ftp.lri.fr/LRI/articles/comon/disunification.dvi.Z}
}
@incollection{jouannaud90,
author = {Jean-Pierre Jouannaud and Claude Kirchner},
topics = {unification, old-team},
location = {jpj, HC 553},
booktitle = {Computational Logic: Essays in Honor of Alan Robinson},
title = {Solving equations in Abstract Algebras: A Rule-Based Survey of Unification},
year = 1991,
publisher = {{MIT}-Press},
editor = {Jean-Louis Lassez and Gordon Plotkin}
}