@TechReport{BaaHlaPen-LTCS-06,
  author = 	 {F. Baader and J. Hladik and R. Penaloza},
  title = 	 {{PSPACE} Automata with Blocking for Description Logics}, 
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year = 	 2006,
  type =	 {LTCS-Report},
  number =	 {LTCS-06-04},
  address =	 {Germany},
  note =	 {See http://lat.inf.tu-dresden.de/research/reports.html.}
}