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