@inproceedings{4360, author = {Thomas Wies and Piskac, Ruzica and Kuncak, Viktor}, pages = {366 -- 382}, publisher = {Springer}, title = {{Combining Theories with Shared Set Operations}}, doi = {1558}, year = {2009}, }