@TECHREPORT{TinZar-RR-04,
  author =	 {Cesare Tinelli and Calogero Zarba},
  title =	 {Combining decision procedures for theories in sorted logics},
  institution =	 {Department of Computer Science, The University of Iowa},
  number = 	 {04-01},
  month =	 feb,
  year =	 2004,
  url =          {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/TinZar-RR-04.pdf},
}