@doctoralThesis{Ihlemann_2010,
title={Reasoning in combinations of theories},
author={Ihlemann, Carsten},
doi={http://dx.doi.org/10.22028/D291-26011},
year={2010}
}