@Article{scp2012,
  author =       "Diego Caminha B. de Oliveira and David D{\'e}harbe and
                 Pascal Fontaine",
  title =        "Combining Decision Procedures by (Model-)Equality
                 Propagation",
  journal =      "Science of Computer Programming",
  volume =       "77",
  pages =        "518--532",
  year =         "2012",
  doi =          "10.1016/j.scico.2010.04.003"
}