Ground Interpolation for the Theory of Equality.

Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli

Browse the full TACAS paper archive.