1. Akama K., Shigeta Y., and Miyamoto E., Solving Problems by Equivalent Transformation of Logic Programs, in Proceedings of the Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando, Florida, 1999.
2. Equivalent Transformation for Equality Constraints on Multiset Domains (in Japanese);Akama;Journal of the Japanese Society for Artificial Intelligence,1998
3. Akama K., Koike H., and Miyamoto E., Program Synthesis from a Set of Definite Clauses and a Query, in Proceedings of the Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando, Florida, 1999.
4. Akama K., Okada K., and Miyamoto E., A Foundation of Equivalent Transformation of Negative Constraints on String Domains (in Japanese), IEICE Technical Report, SS97-91, pp. 33–40, 1998.
5. “Foundations of Logic Programming”;Lloyd,1987