@incollection{Muller_1985,
    doi = {10.1007/3-540-15641-0_27},
    url = {https://doi.org/10.1007%2F3-540-15641-0_27},
    year = {1985},
    publisher = {Springer Berlin Heidelberg},
    pages = {99--107},
    author = {David Muller and Paul E. Schupp},
    title = {Alternating automata on infinite objects, determinacy and Rabin{\textquotesingle}s theorem},
    booktitle = {Automata on Infinite Words}
}

@incollection{Muller_1985, doi = {10.1007/3-540-15641-0_27}, url = {https://doi.org/10.1007%2F3-540-15641-0_27}, year = {1985}, publisher = {Springer Berlin Heidelberg}, pages = {99--107}, author = {David Muller and Paul E. Schupp}, title = {Alternating automata on infinite objects, determinacy and Rabin{\textquotesingle}s theorem}, booktitle = {Automata on Infinite Words} }