Franz Baader Byron Cook Jürgen Giesl Robert Nieuwenhuis 07401 Executive Summary -- Deduction and Decision Procedures. 2007 Deduction and Decision Procedures http://drops.dagstuhl.de/opus/volltexte/2007/1251 conf/dagstuhl/2007P7401 db/conf/dagstuhl/P7401.html#BaaderCGN07