@inbook{Pelanek2005,
 address = {Berlin, Heidelberg},
 author = {Radek Pelánek and Jan Strejček},
 booktitle = {Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers},
 doi = {10.1007/11605157_20},
 editor = {Farr{\'e}, Jacques
and Litovsky, Igor
and Schmitz, Sylvain},
 isbn = {978-3-540-33097-4},
 pages = {238--249},
 publisher = {Springer Berlin Heidelberg},
 title = {Deeper Connections Between LTL and Alternating Automata},
 url = {http://dx.doi.org/10.1007/11605157_20},
 year = {2006}
}