@INCOLLECTION{AmatoS03lopstr, author = {Gianluca Amato and Francesca Scozzari}, title = {A general framework for variable aliasing: Towards optimal operators for sharing properties}, booktitle = {Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17--20, 2002. Revised Selected Papers}, publisher = {Springer}, address = {Berlin Heidelberg}, year = {2003}, editor = {Michael Leuschel}, volume = {2664}, series = {Lecture Notes in Computer Science}, pages = {52--70}, doi = {10.1007/3-540-45013-0{\_}6}, isbn = {978-3-540-40438-5} }