1. Benkerimi, K. and Lloyd, J. W., “A Procedure for the Partial Evaluation of Logic Programs”,Tech. Rept. TR-89-04, Computer Science Department, University of Bristol, May 1989.
2. Partial Evaluation and Mixed Computation (D. Bjørner, A. P. Ershov and N. D. Jones eds.), Proceedings from Workshop in Gammel Avernæs, Denmark, North-Holland, Oct. 1988.
3. Bol, R. N., “Towards More Efficient Loop Checks”, inProceedings of the 1990 North American Conference on Logic Programming, MIT Press, pp. 465–479, 1990.
4. Burstall, R. M. and Darlington, J., “A Transformation System for Developing Recursive Programs,”Journal of ACM, 24, 1977.
5. Bugliesi, M. and Russo, F., “Partial Evaluation in Prolog: Some Improvements about Cut,” inProceedings of the 1989 North American Conference on Logic Programming, MIT Press, 1989.