Clark W. Barrett Roberto Sebastiani Sanjit A. Seshia Cesare Tinelli Satisfiability Modulo Theories. 825-885 2009 Handbook of Satisfiability http://dx.doi.org/10.3233/978-1-58603-929-5-825 series/faia/2009-185 db/series/faia/faia185.html#BarrettSST09