Carsten Lutz, Ulrike Sattler, Lidia Tendera. Finite Model Reasoning in ALCQI is EXPTIME Logics. In Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi, editors, Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. Volume 81 of CEUR Workshop Proceedings, CEUR-WS.org, 2003. [doi]
Abstract is missing.