@article{KiHeOhYi16,
  author = "Sol Kim and Kihong Heo and Hakjoo Oh and Kwangkeun Yi",
  title = "Widening with Thresholds via Binary Search",
  volume = "46",
  number = "10",
  pages = "1317--1328",
  year = "2016"
}