@inproceedings{simon10note,
  author = {A. Simon},
  title = {A {N}ote on the {I}nversion {J}oin for {P}olyhedral {A}nalysis},
  booktitle = {Workshop on Numeric and Symbolic Abstract Domains},
  editor = {A. Min\'e},
  month = {September},
  year = 2010,
  series = {ENTCS},
  publisher = {Springer},
  address = {Perpignan, France},
}