Karp, P. D. (1992). The design space of knowledge representation systems. Tech. rep. SRI
AI Technical Note 520, SRI International, Menlo Park, CA.

Karp, P. D., Myers, K. L., & Gruber, T. (1995). The generic frame protocol. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95), Vol. A, pp. 768-774 Montreal, Canada.

Kifer, M., Lausen, G., & Wu, J. (1995). Logical foundations of Object-Oriented and framebased languages. Journal of the ACM, 42 (4), 741–843.

Kifer, M., & Wu, J. (1993). A logic for programming with complex objects. Journal of Computer and System Sciences, 47, 77-120.

Kim, W. (1990). Introduction to Object-Oriented Databases. The MIT Press.

Kim, W., & Lochovsky, F. H. (Eds.). (1989).  Object-Oriented Concepts, Databases, and Applications. ACM Press and Addison Wesley, New York.

Kozen, D., & Tiuryn, J. (1990). Logics of programs. In van Leeuwen, J. (Ed.), Handbook of Theoretical Computer Science - Formal Models and Semantics, pp. 789–840. Elsevier Science Publishers (North-Holland), Amsterdam.

Lecluse, C., & Richard, P. (1989). Modeling complex structures in object-oriented databases.

In Proceedings of the Eighth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'89), pp. 362–369.

Lehmann, F. (Ed.). (1992). Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford.

Lenzerini, M., Nardi, D., & Simi, M. (Eds.). (1991). Inheritance Hierarchies in Knowledge Representation and Programming Languages. John Wiley & Sons, Chichester.

Lenzerini, M., & Nobili, P. (1990). On the satisfiability of dependency constraints in entityrelationship schemata. Information Systems, 15 (4), 453–461.

Mitchell, J. C. (1983). The implication problem for functional and inclusion dependencies.

Information and Control, 56, 154-173.

Motschnig-Pitrik, R., & Mylopoulous, J. (1992). Classes and instances. Journal of Intelligent and Cooperative Information Systems, 1 (1).

Nebel, B. (1991). Terminological cycles: Semantics and computational properties. In Sowa, J. F. (Ed.), Principles of Semantic Networks, pp. 331–361. Morgan Kaufmann, Los Altos.

Piza, B., Schewe, K.-D., & Schmidt, J. W. (1992). Term subsumption with type constructors. In Yesha, Y. (Ed.), Proceedings of the International Conference on Information and Knowledge Management (CIKM'92), pp. 449-456 Baltimore.