1. Carciofini, J., Hadden, G., Colburn, T., and Larson, A. (1987), LogLisp Programming System Users Manual, RADC Technical Report 87-228, Griffiss Air Force Base, NY: Rome Air Development Center.
2. Chisholm, R. M. (1977), Theory of Knowledge, Englewood, NJ: Prentice-Hall.
3. Costantini, S. and Lanzarone, G. (1990), ?Metalevel Negation in Non-Monotonic Reasoning?, Proceedings of the Workshop on Logic Programming and Non-Monotonic Logic, Austin, TX, pp. 19?26.
4. Hawthorne, J. (1988), ?A Semantic Approach to Non-Monotonic Entailments?, in LemmerJ.F. and KanalL.N. (eds.), Uncertainty in Artificial Intelligence 2, New York, NY: North Holland, pp. 251?262.
5. Kowalski, R. A. (1974), ?Predicate Logic as Programming Language?, in Proceedings of the IFIP-74 Congress, New York, NY: North Holland, pp. 569?574.