@inproceedings{simon10speeding,
  author = {A. Simon},
  title = {Speeding up {P}olyhedral {A}nalysis by {I}dentifying {C}ommon {C}onstraints},
  booktitle = {Workshop on Numeric and Symbolic Abstract Domains},
  editor = {A. Min\'e},
  month = {September},
  year = 2010,
  series = {ENTCS},
  publisher = {Springer},
  address = {Perpignan, France},
}