1. Gegg-Harrison, T. S., “Representing Logic Program Schemata in λProlog,” inProceedings of the Twelfth International Conference on Logic Programming 1995 (Sterling, L., ed.), MIT Press, London, pp. 467–481, 1995.
2. Marakakis, E. and Gallagher, J. P., “Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types,” inLogic Program Synthesis and Transformation — Meta-Programming in Logic (Fribourg, L. and Turini, F., eds.),LNCS 883, Springer-Verlag, 1994.
3. Sterling, L. and Kirschenbaum, M., “Applying Techniques to Skeleton,” inConstructing Logic Programs (Jacquet, J.-M., ed.), Wiley, 1993.
4. Jacquet, J.-M., (ed.),Constructing Logic Programs, Wiley, 1993.
5. Bird, R. and Wadler, Ph.,Introduction to Functional Programming, Prentice Hall, 1988.