@conference {182, title = {Combination of Disjoint Theories: Beyond Decidability}, booktitle = {Intl. Joint Conf. Automated Reasoning (IJCAR 2012)}, year = {2012}, publisher = {Springer}, organization = {Springer}, address = {Manchester, UK}, author = {Pascal Fontaine and Stephan Merz and Christoph Weidenbach}, editor = {Bernhard Gramlich and Dale Miller and Ulrike Sattler} }