Set Based-Analysis of Logic Programs via Abstract Interpretation. - Giorgio Levi; W. Volpi (APPIA-GULP-PRODE, 1998)