Carsten Lutz Ulrike Sattler Lidia Tendera Finite Model Reasoning in ALCQI is EXPTIME Logics. 2003 conf/dlog/2003 Description Logics http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/sattler.pdf db/conf/dlog/dlog2003.html#LutzST03