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

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

@string{springer = {Springer-Verlag}}

@string{jar = {Journal of Automated Reasoning}}

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

@article{otop12jar,
  author = {Jan Otop},
  title = {{E}-unification with Constants vs. General {E}-unification},
  journal = jar,
  volume = 48,
  number = 3,
  pages = {363--390},
  year = 2012,
  month = mar,
  url = {http://www.springerlink.com/content/c66rk1t36q15473x/fulltext.pdf}
}

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