@InProceedings{Dax_Klaedtke:alternation_elimination_nested_words,
  author = 	 {Christian Dax and Felix Klaedtke},
  title = 	 {Alternation Elimination for Automata over Nested Words},
  booktitle =    {In the Proceedings of the 14th International Conference on
           	  Foundations of Software Science and Computation Structures (FoSSaCS'11)},
  pages =        {168--183},
  volume =       {6604},
  year =         {2011},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}