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

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

@string{ieee = {IEEE}}

@string{jsc = {Journal of Symbolic Computation}}

@inproceedings{BCD90:lics,
  author = {Alexandre Boudet and Evelyne Contejean and Herv{\'e} Devie},
  title = {A New {$AC$} Unification algorithm with an
		Algorithm for Solving Diophantine Equations},
  crossref = {lics90},
  pages = {289--299}
}

@article{F87:jsc,
  author = {Fran{\c c}ois Fages},
  month = jun,
  year = {1987},
  title = {Associative-commutative unification},
  journal = jsc,
  volume = {3},
  number = {3},
  pages = {257--275},
  note = {Previous version in the {\em Proceedings of the Seventh
                 International Conference on Automated Deduction},
		 Napa, CA, pp. 194-208 [May 1984]}
}

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

@proceedings{lics90,
  booktitle = {Fifth } # lics,
  title = {Fifth } # lics,
  editor = {John C. Mitchell},
  year = 1990,
  month = jun,
  address = {Philadelphia, PA},
  organization = ieee
}