@article{Landweber:1969ug,
    Author = {Landweber, L. H.},
    File = {Decision problems for {$\omega$}–automata - Landweber1969\_Article\_DecisionProblemsForΩ-automata.pdf},
    ISBN = {1433-0490},
    Journal = {Mathematical systems theory},
    Number = {4},
    Pages = {376--384},
    Title = {Decision problems for {$\omega$}-automata},
    URL = {https://doi.org/10.1007/BF01691063},
    Volume = {3},
    Year = {1969},
    bdsk-url-1 = {https://doi.org/10.1007/BF01691063},
    da = {1969/12/01},
    date-added = {2021-07-06 15:56:21 +0200},
    date-modified = {2021-07-06 15:56:28 +0200},
    id = {Landweber1969},
    ty = {JOUR},
    doi = {10.1007/BF01691063}
}

@article{Landweber:1969ug, Author = {Landweber, L. H.}, File = {Decision problems for {$\omega$}–automata - Landweber1969_Article_DecisionProblemsForΩ-automata.pdf}, ISBN = {1433-0490}, Journal = {Mathematical systems theory}, Number = {4}, Pages = {376--384}, Title = {Decision problems for {$\omega$}-automata}, URL = {https://doi.org/10.1007/BF01691063}, Volume = {3}, Year = {1969}, bdsk-url-1 = {https://doi.org/10.1007/BF01691063}, da = {1969/12/01}, date-added = {2021-07-06 15:56:21 +0200}, date-modified = {2021-07-06 15:56:28 +0200}, id = {Landweber1969}, ty = {JOUR}, doi = {10.1007/BF01691063} }