Deduction and Applications Franz Baader Peter Baumgartner Robert Nieuwenhuis Andrei Voronkov 05431 2006 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P5431.html