@InProceedings{BozzanoBruttomessoCimattiJunttilaRossumSchulzSebastiani:TACAS2005,
  author = 	 {Marco Bozzano and Roberto Bruttomesso and
                  Alessandro Cimatti and Tommi Junttila and
                  Peter van Rossum and Stephan Schulz and
                  Roberto Sebastiani},
  title = 	 {An Incremental and Layered Procedure for
                  the Satisfiability of Linear Arithmetic Logic},
  booktitle =    {Tools and Algorithms for the Construction and
                  Analysis of Systems (TACAS 2005)},
  pages = 	 {317--333},
  year = 	 {2005},
  editor = 	 {Nicolas Halbwachs and Lenore D. Zuck},
  volume = 	 {3440},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer},
}