@article{
    BozzanoBruttomessoCimattiJunttilaRossumSchulzSebastiani:JAR,
    author = "Bozzano, Marco and Bruttomesso, Roberto and Cimatti, Alessandro and Junttila, Tommi and van Rossum, Peter and Schulz, Stephan and Sebastiani, Roberto",
    title = "{MathSAT}: Tight Integration of {SAT} and Mathematical Decision Procedures",
    url = "http://dx.doi.org/10.1007/s10817-005-9004-z",
    journal = "Journal of Automated Reasoning",
    number = "1--3",
    month = "October",
    volume = "35",
    flags = "SA-53695",
    year = "2005",
    pages = "265--293"
}