1. Aida, H., Tanoka, H., Moto-Oka, T., “A Prolog Extension for Handling Negative Knowledege”, New Generation Computing, n∘1, Springer Verlag, 1983.
2. Ackerman, W., Solvable cases of the Decision Problem, North Holland, 1984.
3. Allen, R., Nicolas, O., Trilling, L., “Sur la correction d'une figure dans un système d'EIAO pour la géométrie”, Actes des Journées EIAO, PRC Intelligence Artificielle, Cachan, décembre 1989.
4. Allen, R., Nicolas, P., Trilling, L., “Figure Correctness in an Expert System for teaching Geometry”, Proceedings of the eight biennal conference of the Canadian society for computational studies of intelligence, Ottawa, May 22–25, 1990, pp. 154–160.
5. Apt, K.R., Blair, H., Walker, A., “Towards a theory of declarative knowledge”, J of ACM, 29, 1987, pp. 841–862.