De Giacomo, G., & Lenzerini, M. (1994b). Concept language with number restrictions and fixpoints, and its relationship with µ -calculus. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI'94), pp. 411-415.

Di Battista, G., & Lenzerini, M. (1993).  Deductive entity-relationship modeling.  IEEE
Transactions on Knowledge and Data Engineering, 5 (3), 439–450.

Donini, F. M., Lenzerini, M., Nardi, D., & Nutt, W. (1997). The complexity of concept languages. Information and Computation, 134, 1-58.

Donini, F. M., Lenzerini, M., Nardi, D., Nutt, W., & Schaerf, A. (1994). Queries, rules and definitions. In Foundations of Knowledge Representation and Reasoning. Springer-
Verlag.

Donini, F. M., Lenzerini, M., Nardi, D., & Schaerf, A. (1996). Reasoning in description logics. In Brewka, G. (Ed.), Principles of Knowledge Representation, Studies in Logic, Language and Information, pp. 193–238. CSLI Publications.

Donini, F. M., Nardi, D., & Rosati, R. (1995).  Non-first-order features in concept languages. In Gori, M., & Soda, G. (Eds.), Proceedings of the Fourth Conference of the Italian Association for Artificial Intelligence (AI*IA'95), Vol. 992 of Lecture Notes in Artificial Intelligence, pp. 91–102. Springer-Verlag.

Ferg, S. (1991).  Cardinality concepts in entity-relationship modeling. In Proceedings of the Tenth International Conference on the Entity-Relationship Approach (ER'91), pp.

1-30.

Fikes, R., & Kehler, T. (1985). The role of frame-based representation in reasoning. Communications of the ACM, 28 (9), 904–920.

Fischer, M. J., & Ladner, R. E. (1979). Propositional dynamic logic of regular programs.

Journal of Computer and System Sciences, 18, 194-211.

Grant, J., & Minker, J. (1984). Numerical dependencies. In Gallaire, H., Minker, J., &
Nicolas, J.-M. (Eds.), Advances in Database Theory II, Plenum Publ. Co., New York.

Hayes, P. J. (1979). The logic of frames. In Metzing, D. (Ed.), Frame Conceptions and Text Understanding, pp. 46–61. Walter de Gruyter and Co. Republished in (Brachman &
Levesque, 1985).

Horrocks, I. (1998). Using an expressive description logic: FaCT or fiction?. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pp. 636-647.

Horrocks, I., & Patel-Schneider, P. F. (1999).  Optimizing description logic subsumption.

Journal of Logic and Computation, 9 (3), 267–293.

Hull, R. B., & King, R. (1987).  Semantic database modelling:  Survey, applications and research issues. ACM Computing Surveys, 19(3), 201–260.