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

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

@string{ieee = {IEEE}}

@string{springer = {Springer-Verlag}}

@string{mitpress = {The MIT Press}}

@string{lncs = {Lecture Notes in Computer Science}}

@inproceedings{boudet94ccl,
  author = {Alexandre Boudet and Evelyne Contejean},
  title = {``{S}yntactic'' {AC}-Unification},
  crossref = {ccl94},
  pages = {136--151},
  url = {http://www.lri.fr/\home{contejea}/ccl94.html}
}

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

@inproceedings{K86:lics,
  author = {Claude Kirchner},
  title = {Computing Unification Algorithms},
  crossref = {lics86},
  pages = {206--216}
}

@string{lics = {Symposium on Logic in Computer Science}}

@proceedings{ccl94,
  booktitle = {First International Conference on Constraints in Computational Logics},
  title = {First International Conference on Constraints in Computational Logics},
  editor = {Jean-Pierre Jouannaud},
  address = {M{\"u}nchen, Germany},
  month = sep,
  year = 1994,
  series = lncs,
  volume = 845,
  publisher = springer
}

@proceedings{lics86,
  booktitle = {First } # lics,
  title = {First } # lics,
  month = jun,
  year = 1986,
  address = {Cambridge, MA},
  publisher = ieee
}