Productivity Verification for Functional Programs by Reduction to Termination Verification. - Ren Fukaishi; Naoki Kobayashi 001; Ryosuke Sato 001 (PEPM, 2024)