"Abstract Interpretation: Towards the Global Optimization of Prolog Programs."

Maurice Bruynooghe et al. (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics