A practical framework for the abstract interpretation of logic programs (1991)

by M Bruynooghe
Venue:The Journal of Logic Programming