@inproceedings{ApinisSV16, author = {Kalmer Apinis and Helmut Seidl and Vesal Vojdani}, title = {Enhancing {T}op-{D}own {S}olving with {W}idening and {N}arrowing}, booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays}, editor = {Christian W. Probst and Chris Hankin and Ren\'e Rydhof Hansen}, year = 2016, pages = {272--288}, publisher = {Springer, LNCS 9560}, doi = {10.1007/978-3-319-27810-0_14}, }