A Practical Framework for the Abstract Interpretation of Logic Programs (1991)

by M Bruynooghe
Venue:Journal of Logic Programming