@inproceedings{
    BozzanoBruttomessoCimattiJunttilaRaniseRossumSebastiani:CAV2005,
    editor = "Etessami, Kousha and Rajamani, Sriram K.",
    author = "Bozzano, Marco and Bruttomesso, Roberto and Cimatti, Alessandro and Junttila, Tommi and Ranise, Silvio and van Rossum, Peter and Sebastiani, Roberto",
    publisher = "Springer",
    title = "Efficient Satisfiability Modulo Theories via Delayed Theory Combination",
    series = "Lecture Notes in Computer Science",
    booktitle = "CAV 2005",
    volume = "3576",
    flags = "ACPT",
    year = "2005",
    pages = "335--349"
}