@InProceedings{HlSa03,
  author = 	 {J. Hladik and U. Sattler},
  title = 	 {A Translation of Looping Alternating Automata to Description Logics},
  booktitle = 	 "Proc. of the 19th Conference on Automated
                   Deduction (CADE-19)",
  year =	 2003,
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer Verlag},
  volume = 2741,
  springer = {yes}
}