@misc{indiciae2ae3d2e2a105,
  title = {Optimality in Goal-Dependent Analysis of Sharing},
  author = {Gianluca Amato and Francesca Scozzari},
  year = {2009},
  doi = {10.1017/s1471068409990111},
  url = {https://arxiv.org/abs/cs/0503055},
  note = {Source identifier: cs/0503055}
}