@inproceedings{
    BozzanoBruttomessoCimattiJunttilaRossumSchulzSebastiani:CADE2005,
    editor = "Nieuwenhuis, Robert",
    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 = "The {MathSAT} 3 System",
    series = "Lecture Notes in Artificial Intelligence",
    booktitle = "Automated Deduction -- CADE-20",
    volume = "3632",
    flags = "ACPT",
    year = "2005",
    pages = "315--321"
}