Dagstuhl Seminar Proceedings, Volume 5431,

• Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, and Andrei Voronkov 05431 Abstracts Collection – Deduction and Applications 10.4230/DagSemProc.05431.1
• Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, and Andrei Voronkov 05431 Executive Summary – Deduction and Applications 10.4230/DagSemProc.05431.2
• Deepak Kapur Automatically Generating Loop Invariants Using Quantifier Elimination 10.4230/DagSemProc.05431.3
• Viktor Kuncak, Martin Rinard, and Bruno Marnette On Algorithms and Complexity for Sets with Cardinality Constraints 10.4230/DagSemProc.05431.4
• Jörg Siekmann Proof Presentation 10.4230/DagSemProc.05431.5
• Jürgen Giesl, René Thiemann, and Peter Schneider-Kamp Proving and Disproving Termination in the Dependency Pair Framework 10.4230/DagSemProc.05431.6