@article{B_r_ny_2008,
    title = {A Hierarchy of Automaticω-Words having a Decidable MSO Theory},
    volume = {42},
    issn = {1290-385X},
    url = {http://dx.doi.org/10.1051/ita:2008008},
    doi = {10.1051/ita:2008008},
    number = {3},
    journal = {RAIRO - Theoretical Informatics and Applications},
    publisher = {EDP Sciences},
    author = {Bárány, Vince},
    year = {2008},
    month = {jun},
    pages = {417–450},
    date-added = {2025-10-30 10:57:22 +0100}
}

@article{B_r_ny_2008, title = {A Hierarchy of Automaticω-Words having a Decidable MSO Theory}, volume = {42}, issn = {1290-385X}, url = {http://dx.doi.org/10.1051/ita:2008008}, doi = {10.1051/ita:2008008}, number = {3}, journal = {RAIRO - Theoretical Informatics and Applications}, publisher = {EDP Sciences}, author = {Bárány, Vince}, year = {2008}, month = {jun}, pages = {417–450}, date-added = {2025-10-30 10:57:22 +0100} }