1. T. Amtoft Hansen. Properties of unfolding-based meta-level systems. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 243–254, ACM Press, 1991.
2. K. Benkerimi and J.W. Lloyd. A partial evaluation procedure for logic programs. In S.K. Debray and M. Hermenegildo, editors, Proceedings of the North American Conference on Logic Programming, Austin, pages 343358, MIT Press, 1990.
3. BIM. Prolog by BIM Reference Manual, Release 3. 1. 1991.
4. C. Chang and R.C.-T Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
5. D.A. de Waal and J. Gallagher. The Applicability of Logic Program Analysis and Transformation to Theorem Proving. Technical Report, University of Bristol, September 1993.