@misc{indiciaed6344e28bff4,
  title = {Sequence-Based Abstract Interpretation of Prolog},
  author = {Baudouin Le Charlier and Sabina Rossi and Pascal Van Hentenryck},
  year = {2000},
  doi = {10.1017/s1471068402001114},
  url = {https://arxiv.org/abs/cs/0010028},
  note = {Source identifier: cs/0010028}
}