@InProceedings{GoeKT-CADE-09,
  author =	 {Amit Goel and Sava Krsti\'{c} and Cesare Tinelli},
  title =	 {Ground Interpolation for Combined Theories},
  booktitle =	 {Proceedings of the 22nd International Conference on Automated Deduction (Montreal, Canada)},
  year =	 2009,
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer},
  pages =	 {183--198},
  editor =	 {R.~Schmidt},
  volume =	 5663,
  url =		 {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/GoeKT-CADE-09.pdf}},
}