@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}
}