@conference {208,
	title = {Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions},
	booktitle = {Automated Deduction: Decidability, Complexity, Tractability (ADDCT)},
	year = {2014},
	author = {Paula Chocron and Pascal Fontaine and Christophe Ringeissen},
	editor = {Silvio Ghilardi and Ulrike Sattler and Viorica Sofronie-Stokkermans}
}