@inproceedings{
    BozzanoBruttomessoCimattiJunttilaRossumSchulzSebastiani:TACAS2005,
    editor = "Halbwachs, Nicolas and Zuck, Lenore D.",
    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 = "An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic",
    series = "Lecture Notes in Computer Science",
    booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)",
    volume = "3440",
    flags = "SA-53695",
    year = "2005",
    pages = "317--333"
}