@Article{BBCJRSS:JAR-2005,
  author =       {M. Bozzano and R. Bruttomesso and A. Cimatti and
                  T. Junttila and P. van Rossum and S. Schulz and
                  R. Sebastiani},
  title =        {MathSAT: Tight Integration of SAT and Mathematical Decision 
                  Procedures}, 
  journal =      {Journal of Automated Reasoning},
  year =         {2005},
  volume =       {35},
  number =       {1--3},
  pages =        {265--293},
}