@InProceedings{Fontaine15,
  author =       "Pascal Fontaine and Stephan Merz and Christoph
                 Weidenbach",
  title =        "Combination of Disjoint Theories: Beyond
                 Decidability",
  booktitle =    ijcar,
  year =         "2012",
  pages =        "256--270",
  editor =       "Bernhard Gramlich and Dale Miller and Uli Sattler",
  publisher =    "Springer",
  series =       lncs,
  volume =       "7364",
}