Automated Synthesis of Functional Programs with Auxiliary Functions. - Shingo Eguchi; Naoki Kobayashi 001; Takeshi Tsukada (APLAS, 2018)