@inproceedings{simon06widening,
  author = {A. Simon and A. King},
  title = {Widening {P}olyhedra with {L}andmarks},
  booktitle = {Asian Symposium on Programming Languages and Systems},
  editor = {N. Kobayashi},
  month = {November},
  year = 2006,
  pages = {166--182},
  series = {LNCS},
  volume = {4279},
  publisher = {Springer},
  doi = {10.1007/11924661_11},
  address = {Sydney, Australia},
}