@inproceedings{simon10simple,
  author = {A. Simon and L. Chen},
  title = {Simple and {P}recise {W}idenings for ${H}$-{P}olyhedra},
  booktitle = {Asian Symposium on Programming Languages and Systems},
  month = {November},
  year = 2010,
  pages = {139-155},
  series = {LNCS},
  volume = {6461},
  publisher = {Springer},
  address = {Shanghai, China},
}