@INPROCEEDINGS{AmatoS02lopstr,
  author = {Gianluca Amato and Francesca Scozzari},
  title = {A general framework for variable aliasing: Towards optimal operators
        for sharing properties},
  booktitle = {Preproc. of the Int. Workshop on Logic Based Program Synthesis and
        Transformation ({LOPSTR} 2000)},
  year = {2002},
  editor = {Michael Leuschel and Francisco J. Bueno},
  pages = {75--90},
  address = {Madrid},
  publisher = {Universidad Polit{\'e}cnica de Madrid}
}