The pseudo-Skolem Problem is decidable (LIPIcs, 2021)

(untitled) - D'Costa, J; Karimov, T; Majumdar, R; Ouaknine, J; Salamati, M; Soudjani, S; Worrell, J