@InProceedings{ dax.ea:alternation:2011, author = {Christian Dax and Felix Klaedtke}, booktitle = {14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'11)}, copyright = {Springer}, language = {USenglish}, pages = {168--183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Alternation Elimination for Automata over Nested Words}, volume = 6604, year = 2011, user = {felixkl} }