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

@comment{{Command line: /usr/bin/bib2bib -c '$key="BaaderSchulz-TCS-98" or $key="HermannKolaitis96cade" or $key="R92:lpar" or $key="DomenKRCADE94" or $key="BS92:cade" or $key="BS93:rta" or $key="B92:cade" or $key="BaaderSchulz-CP-95" or $key="cade92" or $key="BaaderSchulz-RTA-95" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{ic = {Information and Computation}}

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

@string{lnai = {Lecture Notes in Artificial Intelligence}}

@inproceedings{BaaderSchulz-RTA-95,
  author = {Franz Baader and Klaus Schulz},
  title = {Combination of Constraint Solving Techniques:
                 {A}n Algebraic Point of View},
  crossref = {rta95},
  pages = {352--366}
}

@inproceedings{BaaderSchulz-CP-95,
  author = {Franz Baader and Klaus Schulz},
  title = {On the Combination of Symbolic Constraints,
                 Solution Domains, and Constraint Solvers},
  crossref = {cp95}
}

@article{BaaderSchulz-TCS-98,
  author = {Baader, Franz and Schulz, Klaus},
  title = {Combination of Constraint Solvers for 
                      Free and Quasi-Free Structures},
  journal = {Theoretical Computer Science},
  note = {To appear.},
  year = {1998}
}

@inproceedings{DomenKRCADE94,
  author = {E. Domenjoud and F. Klay and C. Ringeissen},
  title = {Combination techniques for non-disjoint equational
                 	theories},
  crossref = {cade94},
  pages = {267--281}
}

@inproceedings{R92:lpar,
  author = {Christophe Ringeissen},
  title = {Unification in a Combination of Equational Theories with
                 Shared Constants and its Application to Primal Algebras},
  crossref = {lpar92}
}

@inproceedings{B92:cade,
  author = {Alexandre Boudet},
  title = {Unification in Order-Sorted Algebras with Overloading},
  crossref = {cade92}
}

@inproceedings{BS93:rta,
  author = {Franz Baader and Klaus Schulz},
  title = {Combination Techniques and Decision Problems for
                 Disunification},
  crossref = {rta93},
  pages = {301--315}
}

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

@inproceedings{HermannKolaitis96cade,
  author = {Miki Hermann and P. G. Kolaitis},
  title = {Unification algorithms cannot be combined in polynomial time},
  crossref = {cade96},
  pages = {246-260},
  note = {To appear in a special issue of } # ic
}

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

@proceedings{cade94,
  booktitle = {12th International Conference on Automated Deduction},
  title = {12th International Conference on Automated Deduction},
  editor = {A. Bundy},
  address = {Nancy, France},
  publisher = springer,
  series = lncs,
  year = 1994,
  volume = 814
}

@proceedings{cade96,
  booktitle = {13th International Conference on Automated Deduction},
  title = {13th International Conference on Automated Deduction},
  address = {New Brunswick, NJ},
  editor = {M. A. McRobbie and J. K. Slaney},
  year = 1996,
  month = jul # {/} # aug,
  publisher = springer,
  series = lncs
}

@proceedings{cp95,
  booktitle = {Principles and Practice of Constraint Programming},
  title = {Principles and Practice of Constraint Programming},
  year = 1995,
  editor = {Ugo Montanari and Francesca Rossi},
  publisher = springer,
  address = {Cassis, France},
  month = sep,
  series = lncs,
  volume = 976
}

@proceedings{lpar92,
  booktitle = {International Conference on Logic Programming and
			Automated Reasoning},
  editor = {A. Voronkov},
  year = 1992,
  month = jul,
  address = {St. Petersburg, Russia},
  publisher = springer,
  series = lnai,
  volume = 624
}

@proceedings{rta93,
  title = {5th International Conference on Rewriting Techniques and Applications},
  booktitle = {5th International Conference on Rewriting Techniques and Applications},
  editor = {Claude Kirchner},
  publisher = springer,
  year = 1993,
  month = jun,
  address = {Montreal, Canada},
  series = lncs,
  volume = 690
}

@proceedings{rta95,
  booktitle = {6th International Conference on Rewriting Techniques and Applications},
  title = {6th International Conference on Rewriting Techniques and Applications},
  editor = {Jieh Hsiang},
  publisher = springer,
  year = 1995,
  month = apr,
  address = {Kaiserslautern, Germany},
  series = lncs,
  volume = 914
}