Franz Baader Peter Baumgartner Robert Nieuwenhuis Andrei Voronkov 05431 Abstracts Collection - Deduction and Applications. 2005 conf/dagstuhl/2005P5431 Deduction and Applications http://drops.dagstuhl.de/opus/volltexte/2006/562 db/conf/dagstuhl/P5431.html#BaaderBNV05a