@InProceedings{BaaHlaPen-LATA-07,
  author = 	 {F. Baader and J. Hladik and R. Pe{\~n}aloza},
  title = 	 {{SI}! Automata Can Show {PSPACE} Results for Description Logics},
  booktitle = 	 {Proceedings of the First International Conference on Language and Automata Theory and Applications ({LATA'07})},
  year =	 2007,
  editor =	 {C. Martin-Vide},
}