A Practical Framework for the Abstract Interpretation of Logic Programs.

Maurice Bruynooghe A Practical Framework for the Abstract Interpretation of Logic Programs. 91-124 1991 10 J. Log. Program. 1/2/3&4 db/journals/jlp/jlp10.html#Bruynooghe91