Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers. - Ryunosuke Endo; Tachio Terauchi (CoRR, 2025)