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