Satisfiability modulo theories. (2009)

by Clark Barrett, Roberto Sebastiani, Sanjit A Seshia, Cesare Tinelli
Venue:Handbook of Satisfiability, chapter 26,