1. Furukawa, K., Murakami, T., Ueno, K., Ozaki, T., Shimaze, K. On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol, Proc. of ILP-97, Lecture Notes in Artificial Intelligence 1297, Springer-Verlag, 157 –164, 1997.
2. Furukawa, K. On the Completion of the Most Specific Hypothesis in Inverse Entailment for Mutual Recursion and Abductive ILP Setting, Proceedings of 32nd SIG-FAI, JSAI, March 1998 (in Japanese).
3. Moyle, S., Muggleton, S. Learning Programs in the Event Calculus, Proc. of ILP-97, Lecture Notes in Artificial Intelligence 1297, Springer-Verlag, 205 –212, 1997.
4. Muggleton, S. Inverting Implication, Proc. of ILP92, 19 –39, ICOT Technical Memorandum: TM-1182, 1992.
5. Muggleton, S. Inverse Entailment and Progol, New Generation Computing, Vol. 13, 245–286, 1995.