@article{AmatoSSAV16,
  author = {Gianluca Amato and Francesca Scozzari and Helmut Seidl and Kalmer Apinis and Vesal Vojdani},
  title = {Efficiently intertwining widening and narrowing},
  journal = {Sci. Comput. Program.},
  year = 2016,
  pages = {1--24},
  volume = {120},
  doi = {10.1016/j.scico.2015.12.005},
}