1. Barklund, J., “Metaprogramming in Logic,” inEncyclopedia of Computer Science and Technology (A. Kent and J. G. Williams, eds.), Marcel Dekker, pp. 205–227, 1995.
2. Benkerimi, K. and Lloyd, J. W., “A Partial Evaluation Procedure for Logic Programs,” inLogic Programming: Proceedings of the 1990 North American Conference (S. Debray and M. Hermenegildo, eds.), Austin, Texas, October 1990, MIT Press, pp. 343–358, 1990.
3. Bowers, A. F. and Gurr, C. A., “Towards Fast and Declarative Meta-Programming,” inMeta-programming and Logic Programming (K. Apt and F. Turini, eds.), chapter 2, MIT Press, pp. 137–166, 1995.
4. Brogi, A. “Program Construction in Computational Logic,”Ph.D. thesis, Department of Computer Science, University of Pisa, 1993.
5. Brogi, A. and Contiero, S., “Composing Logic Programs by Meta-Programming in Gödel,” inMeta-programming and Logic Programming (K. Apt and F. Turini, eds.), chapter 7, MIT Press, pp. 167–194, 1995.