Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 2019

a service of Schloss Dagstuhl - Leibniz Center for Informatics