1. Cain, Timothy. “Constraining Abduction in Integrated Learning.― In the Ninth National Conference on Artificial Intelligence workshop, Towards Domain-Independent Strategies for Abduction, July 1991.
2. Ginsberg, Allen. “Knowledge-Base Reduction: A New Approach to Checking Knowledge Bases for Inconsistency & Redundancy.― In Proceedings of the Seventh National Conference on Artificial Intelligence, pp. 585–589. St. Paul: Morgan Kaufmann, Inc., 1988.
3. Ginsberg, Allen. “Theory Revision via Prior Operationalization.― In Proceedings of the Seventh National Conference on Artificial Intelligence, pp. 590–595. St. Paul: Morgan Kaufmann, Inc., 1988.
4. “Explanation-based Generalization: A Unifying View.―;Mitchell;Machine Learning,1986
5. Muggleton, Stephen and Feng, Cao. “Efficient Induction of Logic Programs.― In Proceedings of the First International Conference on Algorithmic Learning Theory. Ohmsha, Tokyo, 1990.