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