Conjectural Decidability of the Skolem Problem | ArxivCSExplorer