@article{van_den_Dries_2003,
    doi = {10.2178/jsl/1052669061},
    url = {https://doi.org/10.2178%2Fjsl%2F1052669061},
    year = {2003},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {68},
    number = {2},
    pages = {503--526},
    author = {L. van den Dries and A. J. Wilkie},
    title = {The laws of integer divisibility, and solution sets of linear divisibility conditions},
    journal = {Journal of Symbolic Logic}
}

@article{van_den_Dries_2003, doi = {10.2178/jsl/1052669061}, url = {https://doi.org/10.2178%2Fjsl%2F1052669061}, year = {2003}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {68}, number = {2}, pages = {503--526}, author = {L. van den Dries and A. J. Wilkie}, title = {The laws of integer divisibility, and solution sets of linear divisibility conditions}, journal = {Journal of Symbolic Logic} }