1. J. Barklund. Metaprogramming in Logic. In A. Kent and J.G. Williams, editors, Encyclopedia of Computer Sciene and Technology, chapter 33, pages 205–227. Marcel Dekker, 1995.
2. K. Benkerimi and J.W. Lloyd. A Partial Evaluation Procedure for Logic Programs. In S. Debray and M. Hermenegildo, editors, Logic Programming: Proceedings of the 1990 North American Conference, pages 343–358. The MIT Press, 1990.
3. A. F. Bowers and C. A. Gurr. Towards Fast and Declarative Meta-Programming. In K. Apt and F. Turini, editors, Meta-Logics and Logic Progamming, chapter 2, pages 137–166. The MIT Press, 1995.
4. A. Brogi. Program Construction in Computational Logic. PhD thesis, Department of Computer Science, University of Pisa, 1993.
5. A. Brogi and S. Contiero. Composing logic programs by meta-programming in Gödel. In K. Apt and F.Turini, editors, Meta-programming and Logic Programming, chapter 7, pages 167–194. The MIT Press, 1995.