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