Alternation Elimination for Automata over Nested Words.

Christian Dax, Felix Klaedtke

Browse the full FOSSACS paper archive.