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

@comment{{Command line: /usr/bin/bib2bib -c '$key="JK91:mit" or $key="comon93pc" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{mitpress = {The MIT Press}}

@incollection{JK91:mit,
  author = {Jean-Pierre Jouannaud and Claude Kirchner},
  title = {Solving Equations in Abstract Algebras:  {A}
			Rule-Based Survey of Unification},
  editor = {Jean-Louis Lassez and Gordon Plotkin},
  publisher = mitpress,
  address = {Cambridge, MA},
  booktitle = {Computational Logic: Essays in Honor of Alan Robinson},
  year = 1991
}

@misc{comon93pc,
  author = {Hubert Comon},
  title = {Personal communication},
  year = 1993
}