@InProceedings{Chocron2,
  author =       "Paula Chocron and Pascal Fontaine and Christophe Ringeissen",
  title =        "Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions",
  booktitle =    addct,
  editor =       "Silvio Ghilardi and Ulrike Sattler and Viorica Sofronie-Stokkermans",
  year =         "2014",
}