Pascal Van Hentenryck Olivier Degimbe Baudouin Le Charlier Laurent Michel The Impact of Granularity in Abstract Interpretation of Prolog. 1-14 1993 conf/sas/1993 WSA db/conf/sas/wsa93.html#HentenryckDCM93