TY  - RPRT
TI  - A study of set-sharing analysis via cliques
AU  - Jorge Navas
AU  - Francisco Bueno
AU  - Manuel Hermenegildo
PY  - 2005
UR  - https://arxiv.org/abs/cs/0508112
ID  - cs/0508112
ER  -