Schild, K. (1991). A correspondence theory for terminological logics: Preliminary report.

In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence
(IJCAI'91), pp. 466-471 Sydney, Australia.

Schild, K. (1994). Terminological cycles and the propositional µ -calculus. 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.

509–520 Bonn. Morgan Kaufmann, Los Altos.

Schmidt-Schauß, M., & Smolka, G. (1991). Attributive concept descriptions with complements. Artificial Intelligence, 48 (1), 1–26.

Sowa, J. F. (Ed.). (1991). Principles of Semantic Networks. Morgan Kaufmann, Los Altos.

Teorey, T. J. (1989). Database Modeling and Design: The Entity-Relationship Approach.

Morgan Kaufmann, Los Altos.

Thalheim, B. (1992).  Fundamentals of cardinality constraints.  In Pernoul, G., & Tjoa, A. M. (Eds.), Proceedings of the Eleventh International Conference on the Entity-
Relationship Approach (ER'92), pp. 7–23. Springer-Verlag.

Thalheim, B. (1993). Fundamentals of the Entity Relationship Model. Springer-Verlag.

Vardi, M. Y. (1985). The taming of converse: Reasoning about two-way computations.

In Parikh, R. (Ed.), Proc. of the 4th Workshop on Logics of Programs, Vol. 193 of Lecture Notes in Computer Science, pp. 413–424. Springer-Verlag.

Woods, W. A., & Schmolze, J. G. (1992). The KL-ONE family. In Lehmann, F. W. (Ed.),
Semantic Networks in Artificial Intelligence, pp. 133–178. Pergamon Press. Published as a special issue of Computers & Mathematics with Applications, Volume 23, Number 2-9.

Ye, X., Parent, C., & Spaccapietra, S. (1994). Cardinality consistency of derived objects in DOOD systems. In Loucopoulos, P. (Ed.), Proceedings of the Thirteenth International Conference on the Entity-Relationship Approach (ER'94), Vol. 881 of Lecture Notes in Computer Science, pp. 278-295 Manchester (UK). Springer-Verlag.