Combining theories with shared set operations (2009)

by T Wies, R Piskac, V Kuncak
Venue:Frontiers of Combining Systems (FroCoS), volume 5749 of LNCS