Inductive synthesis of structurally recursive functional programs from non-recursive expressions. - CHO, HANGYEOL; LEE, WOOSUK (Journal of Functional Programming, 2025)