TY  - RPRT
TI  - Skolem Meets Schanuel
AU  - Yuri Bilu
AU  - Florian Luca
AU  - Joris Nieuwveld
AU  - Joël Ouaknine
AU  - David Purser
AU  - James Worrell
PY  - 2022
UR  - https://arxiv.org/abs/2204.13417
ID  - 2204.13417
ER  -