Kroening, D. <br/><br/>
Decision procedures: An algorithmic point of view 

 - Berlin  Springer  2008 
 - xvi, 304p. 
 - Texts in Theoretical Computer Science .
<br/><br/><label>ISBN: </label>978-3-540-74104-6