Conference on Principles of Knowledge Representation and Reasoning (KR'98), pp.

2-13.

Calvanese, D., & Lenzerini, M. (1994a). Making object-oriented schemas more expressive.

In Proceedings of the Thirteenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'94), pp. 243–254 Minneapolis. ACM Press and Addison Wesley.

Calvanese, D., & Lenzerini, M. (1994b). On the interaction between ISA and cardinality constraints. In Proceedings of the Tenth IEEE International Conference on Data Engineering (ICDE'94), pp. 204–213 Houston (Texas). IEEE Computer Society Press.

Calvanese, D., Lenzerini, M., & Nardi, D. (1994). A unified framework for class based representation formalisms. In Doyle, J., Sandewall, E., & Torasso, P. (Eds.), Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR'94), pp. 109–120 Bonn. Morgan Kaufmann, Los Altos.

Calvanese, D., Lenzerini, M., & Nardi, D. (1998). Description logics for conceptual data modeling. In Chomicki, J., & Saake, G. (Eds.), Logics for Databases and Information Systems, pp. 229-264. Kluwer Academic Publisher.

Casanova, M. A., Fagin, R., & Papadimitriou, C. H. (1984). Inclusion dependencies and their interaction with functional dependencies. Journal of Computer and System Sciences, 28 (1), 29–59.

Cattell, R. G. (Ed.). (1994). The Object Database Standard: ODMG-93. Morgan Kaufmann, Los Altos. Release 1.1.

Cattell, R. G., & Barry, D. K. (Eds.). (1997). The Object Database Standard: ODMG
2.0. Morgan Kaufmann, Los Altos.

Chandra, A. K., & Vardi, M. Y. (1985). The implication problem for functional and inclusion dependencies is undecidable. SIAM Journal on Computing, 14 (3), 671–677.

Chen, P. P. (1976). The Entity-Relationship model: Toward a unified view of data. ACM
Transactions on Database Systems, 1 (1), 9-36.

Cosmadakis, S. S., & Kanellakis, P. C. (1986). Functional and inclusion dependencies - A
graph theoretical approach. In Kanellakis, P. C., & Preparata, F. P. (Eds.), Advances in Computing Research, Vol. 3, pp. 163-184. JAI Press.

Cosmadakis, S. S., Kanellakis, P. C., & Vardi, M. (1990).  Polynomial-time implication problems for unary inclusion dependencies. Journal of the ACM, 37 (1), 15–46.

De Giacomo, G., & Lenzerini, M. (1994a). Boosting the correspondence between description logics and propositional dynamic logics. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI'94), pp. 205–212. AAAI Press/The MIT Press.