"Deduction and Decision Procedures, 30.09. - 05.10.2007"

Franz Baader et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics