Ground Interpolation for Combined Theories.

Amit Goel, Sava Krstic, Cesare Tinelli

Browse the full CADE paper archive.