TY  - RPRT
TI  - A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
AU  - Patricia M. Hill
AU  - Enea Zaffanella
AU  - Roberto Bagnara
PY  - 2004
UR  - https://arxiv.org/abs/cs/0401021
ID  - cs/0401021
ER  -