ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. - Champion, Adrien; Chiba, Tomoya; Kobayashi, Naoki; Sato, Ryosuke (Journal of Automated Reasoning, 2020)