@inproceedings{siegel11summarized, author = {H. Siegel and A. Simon}, title = {Summarized {D}imensions {R}evisited}, booktitle = {Workshop on Numeric and Symbolic Abstract Domains}, editor = {L. Mauborgne}, month = {September}, year = 2011, series = {ENTCS}, publisher = {Springer}, address = {Venice, Italy}, }