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