Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence - doi 10.1016/j.apal.2024.103493 Date : 1403-04 Article type Journal