1. Explanation based learning: An alternative view;DeJong;Machine Learning,1986
2. Hirsh, H. (1987). Explanation-based generalization in a logic-programming environment. Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Milan, Italy, (in press).
3. Kedar-Cabelli, S. T. (1987). Investigations into purpose-directed analogy. Doctoral dissertation, Department of Computer Science, Rutgers University, New Brunswick, NJ, (in progress).
4. Foundations of logic programming;Lloyd,1984
5. Fixed Point Semantics and Tableau Proof Procedures for a Clausal Intuitionistic Logic;McCarty,1986