@inbook{BSST09HBSAT,
  Author =	 {Barrett, Clark and Sebastiani, Roberto and Seshia,
                  Sanjit A. and Tinelli, Cesare},
  Title =	 {Satisfiability Modulo Theories},
  Chapter =	 {26},
  Pages =	 {825--885},
  Crossref =	 {HandbookOfSAT2009}
}


@book{HandbookOfSAT2009,
  Editor =	 {Biere, Armin and Heule, Marijn J. H. and van Maaren,
                  Hans and Walsh, Toby},
  Title =	 {Handbook of Satisfiability},
  Publisher =	 {IOS Press},
  Year =	 {2009},
  Month =	 {February},
  Volume =	 {185},
  ISBN =	 {978-1-58603-929-5},
  ISSN =	 {0922-6389},
  Series =	 {Frontiers in Artificial Intelligence and
                  Applications},
  Pages =	 {980}
}