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