@INPROCEEDINGS{AmatoS02agp,
  author = {Gianluca Amato and Francesca Scozzari},
  title = {Optimality in goal-dependent Analysis of Sharing},
  booktitle = {Proceedings of the Joint Conference on Declarative Programming ({AGP}'02)},
  year = {2002},
  editor = {Juan Jos{\'e} Moreno-Navarro and Julio Mari{\~n}o-Carballo},
  pages = {189--205},
  address = {Madrid},
  publisher = {Universidad Polit{\'e}cnica de Madrid}
}