1. Aha, D. W., Lapointe, S., Ling, C. X., & Matwin, S. (1994). Inverting implication with small training sets. In Proceedings of the 1994 European Conference on Machine Learning (pp. 31–48). Catania, Italy: Springer Verlag.
2. Cohen, W. (1993). Pac-learning a restricted class of recursive logic programs. In Proceedings of the Eleventh National Conference on Artificial Intelligence (pp. 86–92). Washington, DC: AAAI Press.
3. Idestam-Almquist, P. (1993). Recursive anti-unification. In Proceedings of the Third International Workshop on Inductive Logic Programming (pp. 241–254). Bled, Slovenia: J. Stefan Institute.
4. Synthesizing LISP programs working on the list level of embedding;Kodratoff,1984
5. Lapointe, S., Ling, X. C., & Matwin, S. (1993). Constructive inductive logic programming. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Chambery, France: Morgan Kaufmann.