Join algorithms for the theory of uninterpreted functions (2004)

by S Gulwani, A Tiwari, G C Necula
Venue:In FSTTCS, volume 3328 of LNCS