Harald Ganzinger:
Slides for the lecture.
Online at http://www.mpi-inf.mpg.de/~hg/Vorlesungen/DecisionProcedures-WS02/.
Stefan Ratschan:
Slides for the lecture (Decision procedures for the real numbers).
Online at http://www.mpi-inf.mpg.de/~ratschan/index_3.html.
Uwe Waldmann:
Slides for the lecture (January 30, 2003).
[Postscript]
Slides for the lecture (February 13, 2003).
[Postscript]
Slides for the lecture (February 20, 2003).
[Postscript]
Franz Baader and Tobias Nipkow:
Term Rewriting and All That.
Cambridge Univ. Press,
1998.
Melvin Fitting:
First-Order Logic and Automated Theorem Proving.
Springer-Verlag, New York,
1996.
Michael Huth and Mark Ryan:
Logic in Computer Science: Modelling and Reasoning about Systems.
Cambridge Univ. Press,
2000.
Uwe Schöning:
Logik für Informatiker.
Spektrum Akademischer Verlag,
2000
(later)