Baudouin Le Charlier Abstract Interpretation and Finite Domain Symbolic Constraints 147-170 Constraint Programming journals/lncs/1994-910 1994 db/journals/lncs/lncs910.html#Charlier94