@Article{BaaderSattler-StudiaLogica,
  author = 	 {F. Baader and U. Sattler},
  title = 	 {An Overview of Tableau Algorithms for Description Logics},
  journal = 	 {Studia Logica},
  year = 	 2001,
  volume =	 {69},
  pages =        {5--40},
}