1. Akama, K., Shigeta, Y., and Miyamoto, E., A Framework ofProblem Solving by Equivalent Transformation of Logic Program, J. Japan Soc. Artif. Intell., Vol.12, No.2, pp.90–99 (1997).
2. Akama, K., Nantajeewarawat, E., and Koike, H., A Class of Rewriting Rules and Reverse Transformation for Rule-Based Equivalent Transformation, Proc. 2nd International Workshop on Rule-Based Programming, Firenze, Italy, 2001.
3. Nantajeewarawat, E., Akama, K., and Koike, H., Expanding Transformation as a Basis for Correctness of Rewriting Rules, Tech. Report, Hokkaido University, 2001.
4. Futamura, Y., Partial Evaluation ofComputation Process-an Approach to a Compiler-Compiler. Systems. Computers. Controls. Vol.25. pp.45–50 (1971).
5. Lloyd, J. W., Foundations ofLogic Programming, Second edition, Springer-Verlag, 1987.