Dagstuhl Seminar Proceedings, Volume 7401,

• Franz Baader, Byron Cook, Jürgen Giesl, and Robert Nieuwenhuis 07401 Abstracts Collection – Deduction and Decision Procedures 10.4230/DagSemProc.07401.1
• Franz Baader, Byron Cook, Jürgen Giesl, and Robert Nieuwenhuis 07401 Executive Summary – Deduction and Decision Procedures 10.4230/DagSemProc.07401.2
• René Thiemann, Jürgen Giesl, and Peter Schneider-Kamp Decision Procedures for Loop Detection 10.4230/DagSemProc.07401.3
• Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, and Daniele Zucchelli From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems 10.4230/DagSemProc.07401.4
• Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, and Harald Zankl Implementing RPO and POLO using SAT 10.4230/DagSemProc.07401.5
• Viorica Sofronie-Stokkermans, Carsten Ihlemann, and Swen Jacobs Local Theory Extensions, Hierarchical Reasoning and Applications to Verification 10.4230/DagSemProc.07401.6
• Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Daniel De Schreye, and Alexander Serebrenik Termination of Programs using Term Rewriting and SAT Solving 10.4230/DagSemProc.07401.7