@InProceedings{BaaHlaPen-DL-07,
  author = 	 {F. Baader and J. Hladik and R. Pe{\~n}aloza},
  title = 	 {Blocking Automata for {PSPACE} {DLs}},
  booktitle = 	 {Proceedings of the 2007 International Workshop on Description Logics},
  year =	 2007,
  editor =	 {D. Calvanese and E. Franconi and S. Tessaris},
  series =	 {CEUR-WS}
}