1. Ackerman, P. and Kanfer, R.,Kanfer-Ackerman Air Traffic Control Task© CD-ROM Database, Data-Collection Program, and Playback Program, Dept. of Psychology, Univ. of Minn., Minneapolis, MN, 1993.
2. Angluin, D., “Queries and Concept Learning,”Machine Learning 2, pp. 319–342, 1988.
3. Angluin, D., Frazier, M. and Pitt, L., “Learning conjunctions of Horn clauses,”Machine Learning 9, pp. 147–164, 1992.
4. Arimura, H., “Learning Acyclic First-order Horn Sentences From Entailment,” inProceedings of the Eight International Workshop on Algorithmic Learning Theory, Ohmsha/Springer-Verlag, 1997.
5. Cohen, W., “Pac-learning non-recursive prolog clauses,”Artificial Intelligence 79, 1, pp. 1–38, 1995.