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

by Bruynooghe
Venue:Newspaper of Logic Programming