Dagstuhl Seminar Proceedings: Deduction and Decision Procedures 2007

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