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