@Article{BaaHlaPen-IC-08,
  author = 	 {Franz Baader and Jan Hladik and Rafael Pe{\~n}aloza},
  title = 	 {Automata Can Show {PSPACE} Results for Description Logics},
  journal = 	 {Information and Computation, Special Issue: First International Conference on Language and Automata Theory and Applications ({LATA'07})},
  year = 	 2008,
  volume =	 206,
  number =	 {9--10},
  pages = 	 {1045--1056},
}