@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}, }