John P. Gallagher Michael Codish Ehud Y. Shapiro Specialisation of Prolog and FCP Programs Using Abstract Interpretation. 159-186 1988 6 New Generation Comput. 2&3 db/journals/ngc/ngc6.html#GallagherCS88