@inproceedings{AmatoScozzariAGP02,
   author =    {Amato, G.  and Scozzari, F.},
   title =  {Optimality in goal-dependent Analysis of Sharing},
   year =      2002,
   booktitle = {Proceedings of the Joint Conference on 
                Declarative Programming (AGP'02)},
   editor =    {Moreno-Navarro, J. J. and Carballo, J. M.},
   pages =      {189--205},
   publisher = {Universidad Polit\'ecnica de Madrid}
}