@article{Sawa_2013,
    doi = {10.3233/fi-2013-802},
    url = {https://doi.org/10.3233%2Ffi-2013-802},
    year = {2013},
    publisher = {{IOS} Press},
    volume = {123},
    number = {1},
    pages = {97--106},
    author = {Zden{\v{e}}k Sawa},
    title = {Efficient Construction of Semilinear Representations of Languages Accepted by Unary Nondeterministic Finite Automata},
    journal = {Fundamenta Informaticae}
}

@article{Sawa_2013, doi = {10.3233/fi-2013-802}, url = {https://doi.org/10.3233%2Ffi-2013-802}, year = {2013}, publisher = {{IOS} Press}, volume = {123}, number = {1}, pages = {97--106}, author = {Zden{\v{e}}k Sawa}, title = {Efficient Construction of Semilinear Representations of Languages Accepted by Unary Nondeterministic Finite Automata}, journal = {Fundamenta Informaticae} }