Reasoning in Combinations of Theories by Carsten Ihlemann