Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini. Symbolic Implementation of Alternating Automata. In Oscar H. Ibarra, Hsu-Chun Yen, editors, Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings. Volume 4094 of Lecture Notes in Computer Science, pages 208-218, Springer, 2006. [doi]
Abstract is missing.