\begin{slide}{Literatur}

  \begin{itemize}\itemsep 2pt \parskip 5pt
  \item Krzysztof Apt:
\emph{Principles of Constraint Programming}, 
\url{http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521825832}
\item
Daniel Kroening, Ofer Strichman: 
\emph{Decision Procedures}, Springer 2008. 
\url{http://www.decision-procedures.org/}
\item
Petra Hofstedt, Armin Wolf:
Einführung in die Constraint-Programmierung, 
Springer 2007.
\url{http://www.springerlink.com/content/978-3-540-23184-4/}
\item Uwe Schöning: Logik für Informatiker,
  Spektrum Akad. Verlag, 2000.
  \end{itemize}

\end{slide}
