Gianluca Amato, Francesca Scozzari. Optimality in goal-dependent analysis of Sharing. TPLP, 9(5):617-689, 2009. [doi]
@article{AmatoS09-0,
title = {Optimality in goal-dependent analysis of Sharing},
author = {Gianluca Amato and Francesca Scozzari},
year = {2009},
doi = {10.1017/S1471068409990111},
url = {http://dx.doi.org/10.1017/S1471068409990111},
tags = {analysis},
researchr = {https://researchr.org/publication/AmatoS09-0},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {9},
number = {5},
pages = {617-689},
}