TY  - RPRT
TI  - Optimality in Goal-Dependent Analysis of Sharing
AU  - Gianluca Amato
AU  - Francesca Scozzari
PY  - 2009
DO  - 10.1017/s1471068409990111
UR  - https://arxiv.org/abs/cs/0503055
ID  - cs/0503055
ER  -