Interpolants in Nonlinear Theories Over the Reals.

Sicun Gao, Damien Zufferey

Browse the full TACAS paper archive.