The Pseudo-Skolem Problem is Decidable.

Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell

Browse the full MFCS paper archive.