@incollection{
    BozzanoBruttomessoCimattiJunttilaRossumSchulzSebastiani:SAT2005,
    editor = "Giunchiglia, Enrico and Walsh, Toby",
    author = "Bozzano, Marco and Bruttomesso, Roberto and Cimatti, Alessandro and Junttila, Tommi and van Rossum, Peter and Schulz, Stephan and Sebastiani, Roberto",
    publisher = "Springer",
    title = "{MathSAT}: Tight Integration of {SAT} and Mathematical Decision Procedures",
    booktitle = "{SAT} 2005; Satisfiability Research in the Year 2005",
    note = "Reprint of the same article in the number 1-3 of volume 25 of the Journal of Automated Reasoning, 2005",
    flags = "SA-53695",
    year = "2005",
    pages = "265--293"
}