title = {Deciding expressive description logics in the framework of resolution.},
author = {Ullrich Hustadt and Boris Motik and Ulrike Sattler}, journal = {Inf. Comput.}, number = {5}, pages = {579-601}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#HustadtMS08}, volume = {206}, year = {2008}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.ic.2007.11.006}, date = {2008-06-12},
keywords = {dblp }
::