\begin{thebibliography}{BM07}

\bibitem[BM07]{Bradley1}
Aaron~R. Bradley and Zohar Manna.
\newblock {\em The calculus of computation - decision procedures with
  applications to verification}.
\newblock Springer, $1^{st}$ edition, 2007.

\bibitem[KS08]{Kroening1}
Daniel Kroening and Ofer Strichman.
\newblock {\em Decision Procedures - An Algorithmic Point of View}.
\newblock Springer, $1^{st}$ edition, 2008.

\end{thebibliography}