The pseudo-Skolem Problem is decidable - D'Costa, J; Karimov, T; Majumdar, R; Ouaknine, J; Salamati, M; Soudjani, S; Worrell, J (LIPIcs, 2021)