TY  - RPRT
TI  - Sequence-Based Abstract Interpretation of Prolog
AU  - Baudouin Le Charlier
AU  - Sabina Rossi
AU  - Pascal Van Hentenryck
PY  - 2000
DO  - 10.1017/s1471068402001114
UR  - https://arxiv.org/abs/cs/0010028
ID  - cs/0010028
ER  -