Refinement Type Inference via Horn Constraint Optimization. - Kodai Hashimoto; Hiroshi Unno 001 (SAS, 2015)