Franz Baader Ulrike Sattler An Overview of Tableau Algorithms for Description Logics. 5-40 2001 69 Studia Logica 1 db/journals/sLogica/sLogica69.html#BaaderS01