Abstract interpretation : towards the global optimization of Prolog programs (1987)

by M Bmynooghe, G Janssens, A Callebaut, B Demoen
Venue:in Proc. 4th Syrup. on Logic Programming