@inproceedings{simon05exploiting,
  author = {A. Simon and A. King},
  title = {Exploiting {S}parsity in {P}olyhedral {A}nalysis},
  booktitle = {Static Analysis Symposium},
  editor = {C. Hankin and I. Siveroni},
  month = {September},
  year = 2005,
  pages = {336--351},
  series = {LNCS},
  volume = {3672},
  publisher = {Springer},
  doi = {10.1007/11547662_23},
  address = {London, UK},
}