@phdthesis{dnb-9152,
  title = {Optimisation of tableau-based reasoning systems for expressive description logics},
  author = {Andreas Steigmiller},
  year = {2016},
  url = {http://d-nb.info/1104840219},
  researchr = {https://researchr.org/publication/dnb-9152},
  cites = {0},
  citedby = {0},
  school = {University of Ulm, Germany},
}