@article{Ito_1969,
    doi = {10.1016/s0022-0000(69)80014-0},
    url = {https://doi.org/10.1016%2Fs0022-0000%2869%2980014-0},
    year = {1969},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {3},
    number = {2},
    pages = {221--231},
    author = {Ryuichi Ito},
    title = {Every semilinear set is a finite union of disjoint linear sets},
    journal = {Journal of Computer and System Sciences}
}

@article{Ito_1969, doi = {10.1016/s0022-0000(69)80014-0}, url = {https://doi.org/10.1016%2Fs0022-0000%2869%2980014-0}, year = {1969}, month = {may}, publisher = {Elsevier {BV}}, volume = {3}, number = {2}, pages = {221--231}, author = {Ryuichi Ito}, title = {Every semilinear set is a finite union of disjoint linear sets}, journal = {Journal of Computer and System Sciences} }