@article{Thomas_1992,
    doi = {10.1016/0304-3975(92)90090-3},
    url = {https://doi.org/10.1016%2F0304-3975%2892%2990090-3},
    year = {1992},
    month = {aug},
    publisher = {Elsevier {BV}},
    volume = {103},
    number = {1},
    pages = {143--159},
    author = {Wolfgang Thomas},
    title = {Infinite trees and automaton- definable relations over {$\omega$}-words},
    journal = {Theoretical Computer Science}
}

@article{Thomas_1992, doi = {10.1016/0304-3975(92)90090-3}, url = {https://doi.org/10.1016%2F0304-3975%2892%2990090-3}, year = {1992}, month = {aug}, publisher = {Elsevier {BV}}, volume = {103}, number = {1}, pages = {143--159}, author = {Wolfgang Thomas}, title = {Infinite trees and automaton- definable relations over {$\omega$}-words}, journal = {Theoretical Computer Science} }