Carsten Lutz Maja Milicic A Tableau Algorithm for DLs with Concrete Domains and GCIs. 2005 conf/dlog/2005 Description Logics http://www.ceur-ws.org/Vol-147/17-LutzMilicic.pdf db/conf/dlog/dlog2005.html#LutzM05