1. Appelt, D. E.,Planning English Sentences, Cambridge University Press, 1985.
2. Carlsson, M. and Widén, J.,SICStus Prolog User’s Manual, Swedish Institute of Computer Science.
3. de Kleer, J., Forbus, K., and McAllester, D., “Truth Maintenance Systems,”The Eleventh International Joint Conference on Artificial Intelligence, tutorial program, 1989.
4. Eisele, A. and Dörre, J., “A Lexical Functional Grammar System in Prolog,” inProceedings of the International Conference on Computational Linguistics, pp. 551–553, 1986.
5. Elhadad, M., “FUF: The Universal Unifier-User Manual,” version 5.0,Technical Report, CUCS-038-91, Columbia University, 1991.