V.: Combining theories with shared set operations (2009)

by T Wies, R Piskac, Kuncak
Venue:FroCoS 2009. LNCS