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