Baudouin Le Charlier Sabina Rossi Pascal Van Hentenryck Sequence-based abstract interpretation of Prolog. 25-84 2002 2 TPLP 1 db/journals/tplp/tplp2.html#CharlierRH02