@incollection{Pel_nek_2006,
    doi = {10.1007/11605157_20},
    url = {https://doi.org/10.1007%2F11605157_20},
    year = {2006},
    publisher = {Springer Berlin Heidelberg},
    pages = {238--249},
    author = {Radek Pel{\'{a}}nek and Jan Strej{\v{c}}ek},
    title = {Deeper Connections Between {LTL} and Alternating Automata},
    booktitle = {Implementation and Application of Automata}
}

@incollection{Pel_nek_2006, doi = {10.1007/11605157_20}, url = {https://doi.org/10.1007%2F11605157_20}, year = {2006}, publisher = {Springer Berlin Heidelberg}, pages = {238--249}, author = {Radek Pel{\'{a}}nek and Jan Strej{\v{c}}ek}, title = {Deeper Connections Between {LTL} and Alternating Automata}, booktitle = {Implementation and Application of Automata} }