@article{Semenov_1977,
    doi = {10.1007/bf00967164},
    url = {https://doi.org/10.1007%2Fbf00967164},
    year = {1977},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {18},
    number = {2},
    pages = {289--300},
    author = {A. L. Semenov},
    title = {Presburgerness of predicates regular in two number systems},
    journal = {Siberian Mathematical Journal}
}

@article{Semenov_1977, doi = {10.1007/bf00967164}, url = {https://doi.org/10.1007%2Fbf00967164}, year = {1977}, publisher = {Springer Science and Business Media {LLC}}, volume = {18}, number = {2}, pages = {289--300}, author = {A. L. Semenov}, title = {Presburgerness of predicates regular in two number systems}, journal = {Siberian Mathematical Journal} }