@InProceedings{HlaPen-DL-06,
  author = 	 {Jan Hladik and Rafael Pe{\~n}aloza},
  title = 	 {{PSPACE} Automata for Description Logics},
  booktitle = 	 {Proceedings of the 2006 International Workshop on Description Logics ({DL'06})},
  year =	 2006,
  editor =	 {B. Parsia and U. Sattler and D. Toman},
  volume =	 189,
  series =	 {{CEUR-WS}}
}