@TECHREPORT{TinZar-RR-03,
  author =	 {Cesare Tinelli and Calogero Zarba},
  title =	 {Combining non-stably infinite theories},
  institution =	 {Department of Computer Science, The University of Iowa},
  number = 	 {03-01},
  month =	 Apr,
  year =	 2003,
  url =          {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/TinZar-RR-03.pdf},
}