@article{Bel_tyukov_1980,
    title = {Decidability of the universal theory of natural numbers with addition and divisibility},
    volume = {14},
    issn = {1573-8795},
    url = {http://dx.doi.org/10.1007/BF01693974},
    doi = {10.1007/bf01693974},
    number = {5},
    journal = {Journal of Soviet Mathematics},
    publisher = {Springer Science and Business Media LLC},
    author = {Bel’tyukov, A. P.},
    year = {1980},
    month = {nov},
    pages = {1436–1444},
    date-added = {2024-5-23 14:23:13 +0100}
}

@article{Bel_tyukov_1980, title = {Decidability of the universal theory of natural numbers with addition and divisibility}, volume = {14}, issn = {1573-8795}, url = {http://dx.doi.org/10.1007/BF01693974}, doi = {10.1007/bf01693974}, number = {5}, journal = {Journal of Soviet Mathematics}, publisher = {Springer Science and Business Media LLC}, author = {Bel’tyukov, A. P.}, year = {1980}, month = {nov}, pages = {1436–1444}, date-added = {2024-5-23 14:23:13 +0100} }