1. Donini, F., Massacci, F.: EXPTIME tableaux for
$\mathcal{ALC}$
. AIJ 124, 87–138 (2000)
2. Goré, R., Nguyen, L.A.: Exptime tableaux for ALC using sound global caching. In: Proc. DL 2007 (June 2007),
http://dl.kr.org/dl2007/
3. Heuerding, A., Schwendimann, S.: A benchmark method for the propositional logics K, KT, S4. Technical report, Universitaet Bern, Switzerland (1996)
4. Horrocks, I., Patel-Schneider, P.F.: Optimizing description logic subsumption. Journal of Logic and Computation 9(3), 267–293 (1999)
5. Tsarkov, D., Horrocks, I., Patel-Schneider, P.F.: Optimizing terminological reasoning for expressive description logics. JAR 39(3), 277–316 (2007)