The additive structure of integers with the lower Wythoff sequence. - Mohsen Khani; Afshin Zarei (Arch. Math. Log., 2023)

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence. - Mohsen Khani; Ali N. Valizadeh; Afshin Zarei (Ann. Pure Appl. Log., 2024)