@INPROCEEDINGS{BaaTin-RTA-02,
  author =	 {Franz Baader and Cesare Tinelli},
  title =	 {Combining Decision Procedures for Positive Theories
                  Sharing Constructors.},
  editor =	 {S.~Tison},
  booktitle =	 {Proceedings of the 13th International Conference on
                  Rewriting Techniques and Applications (Copenhagen,
                  Denmark)},
  volume =	 2378,
  year =	 2002,
  publisher =	 {Springer},
  series =	 {Lecture Notes in Computer Science},
  pages =	 {352--366},
  url =          {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BaaTin-RTA-02.pdf},
}