@Article{BozzanoBruttomessaCimattiJunttilaRaniseRossumSebastiani:IC2006,
  author =       {Marco Bozzano and Roberto Bruttomesso and
                  Alessandro Cimatti and Tommi Junttila and
                  Silvio Ranise and Peter van Rossum and
                  Roberto Sebastiani},
  title =        {Efficient theory combination via boolean search},
  journal =      {Information and Computation},
  year =         {2006},
  volume =       {204},
  number =       {10},
  pages =        {1493--1525},
  month =        oct,
  url =          {http://dx.doi.org/10.1016/j.ic.2005.05.011}
}