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

@comment{{Command line: /usr/bin/bib2bib -c '$key="BS92:cade" or $key="BoudetCombination" or $key="SchmidtSchaussCombination" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

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

@inproceedings{BS92:cade,
  author = {Franz Baader and Klaus Schulz},
  title = {Unification in the Union of Disjoint Equational Theories:
                 {Combining} Decision Procedures},
  crossref = {cade92}
}

@inproceedings{BoudetCombination,
  author = {Alexandre Boudet},
  title = {Unification in combination of equational theories: {A}n
		 efficient algorithm},
  booktitle = {Proceedings of the Tenth International Conference on
	Automated Deduction (Kaiserslautern, Germany)},
  year = {1990},
  publisher = springer,
  series = lncs,
  volume = {449}
}

@article{SchmidtSchaussCombination,
  author = {Manfred Schmidt-Schau{\ss}},
  title = {Combination of Unification Algorithms},
  journal = jsc,
  year = {1989},
  volume = {8}
}

@proceedings{cade92,
  booktitle = {11th International Conference on Automated Deduction},
  title = {11th International Conference on Automated Deduction},
  address = {Saratoga Springs, NY},
  editor = {Deepak Kapur},
  year = 1992,
  month = jun,
  publisher = springer,
  series = lncs,
  volume = {607}
}