@InProceedings{TinZar-JELIA-04,
  author =	 {Cesare Tinelli and Calogero Zarba},
  title =	 {Combining decision procedures for sorted theories},
  booktitle =	 {Proceedings of the 9th European Conference on Logic
                  in Artificial Intelligence (JELIA'04), Lisbon,
                  Portugal},
  pages =	 {641--653},
  year =	 2004,
  editor =	 {J.~Alferes and J.~Leite},
  volume =	 3229,
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/TinZar-JELIA-04.pdf}
}