Franz Baader Byron Cook Jürgen Giesl Robert Nieuwenhuis Deduction and Decision Procedures 07401 2007 db/conf/dagstuhl/P7401.html Dagstuhl Seminar Proceedings Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany