Combining theories with shared set operations (2009)

by T Wies, R Piskac, V Kuncak
Venue:In FroCoS: Frontiers in Combining Systems