@article{Rabin_1968,
    doi = {10.1090/s0002-9904-1968-12122-6},
    url = {https://doi.org/10.1090%2Fs0002-9904-1968-12122-6},
    year = {1968},
    publisher = {American Mathematical Society ({AMS})},
    volume = {74},
    number = {5},
    pages = {1025--1029},
    author = {Michael O. Rabin},
    title = {Decidability of second-order theories and automata on infinite trees},
    journal = {Bulletin of the American Mathematical Society}
}

@article{Rabin_1968, doi = {10.1090/s0002-9904-1968-12122-6}, url = {https://doi.org/10.1090%2Fs0002-9904-1968-12122-6}, year = {1968}, publisher = {American Mathematical Society ({AMS})}, volume = {74}, number = {5}, pages = {1025--1029}, author = {Michael O. Rabin}, title = {Decidability of second-order theories and automata on infinite trees}, journal = {Bulletin of the American Mathematical Society} }