Carsten Lutz Ulrike Sattler Lidia Tendera The complexity of finite model reasoning in description logics. 132-171 2005 199 Inf. Comput. 1-2 http://dx.doi.org/10.1016/j.ic.2004.11.002 db/journals/iandc/iandc199.html#LutzST05