@misc{Fassbender2012,
  author    = {Dennis Fa{\"s}bender},
  title     = {The DLE-Hyper Tableau Calculus: a Decision Procedure for SHIQ},
  institution = {Fachbereich 4},
  type      = {diplom},
  pages     = {66},
  year        = {2012},
}