Deep Logic Program Transformation Using Abstract Interpretation.

Dmitri Yu. Boulanger Deep Logic Program Transformation Using Abstract Interpretation. 79-101 1991 conf/lpar/1991 RCLP db/conf/lpar/lpar90.html#Boulanger91 http://dx.doi.org/10.1007/3-540-55460-2_7