"A Tableau Algorithm for DLs with Concrete Domains and GCIs."

Carsten Lutz, Maja Milicic (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics