Radek Pelánek, Jan Strejcek. Deeper Connections Between LTL and Alternating Automata. In Jacques Farré, Igor Litovsky, Sylvain Schmitz, editors, Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers. Volume 3845 of Lecture Notes in Computer Science, pages 238-249, Springer, 2005. [doi]
Abstract is missing.