Ground Interpolation for Combined Theories (2009)

by A Goel, S Krstić, C Tinelli
Venue:In Proc. of CADE 22 (LNCS