@misc{indiciaece60956bd8da,
  title = {Refinement Type Inference via Horn Constraint Optimization},
  author = {Kodai Hashimoto and Hiroshi Unno},
  year = {2015},
  url = {https://arxiv.org/abs/1505.02878},
  note = {Source identifier: 1505.02878}
}