@InProceedings{AmatoS02lopstr,
  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},
  year =         2003,
  editor =       {Leuschel, M.},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
  address =      {Berlin Heidelberg},
  volume =       2664,
  pages =        {52--70},
  note =         {ISBN: 3-540-40438-4},
}