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