@article{Siefkes_1972,
    doi = {10.2307/2272788},
    url = {https://doi.org/10.2307%2F2272788},
    year = {1972},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {37},
    number = {3},
    pages = {618--619},
    author = {Dirk Siefkes},
    title = {Michael O. Rabin. Decidability of second-order theories and automata on infinite trees.},
    journal = {Journal of Symbolic Logic}
}

@article{Siefkes_1972, doi = {10.2307/2272788}, url = {https://doi.org/10.2307%2F2272788}, year = {1972}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {37}, number = {3}, pages = {618--619}, author = {Dirk Siefkes}, title = {Michael O. Rabin. Decidability of second-order theories and automata on infinite trees.}, journal = {Journal of Symbolic Logic} }