1. Abramsky, S. and Hankin, C., eds.:Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987.
2. Benkerimi, K. and Lloyd, J. W., “A Procedure for Partial Evaluation of Logic Programs,”Proceedings of the North American Conference on Logic Programming, November 1990, Austin, Texas (S. Debray and M. Hermenegildo, eds.), MIT Press, 1990.
3. Bruynooghe, M., “A Practical Framework for the Abstract Interpretation of Logic Programs,” to appear inJournal of Logic Programming.
4. Codish, M., Gallagher, J. and Shapiro, E., “Using Safe Approximations of Fixed Points for Analysis of Logic Programs,” inMeta-Programming in Logic Programming (H. Abramson and M. Rogers, eds.), MIT Press, 1989.
5. Gallagher, J. and Codish, M. and Shapiro, E., “Specialisation of Prolog and FCP Programs Using Abstract Interpretation,”New Generation Computing, 6, pp. 159–186, 1988.