1. Aït-Kaci, H., “A Lattice Theoretic Approach to Computation Based on Calculus on Partially Ordered Type Structures”, Ph.D. Thesis, Univ. of Pennsylvania, 1984.
2. Brachman, R.J. and Schmolze, J.G., “An Overview of the KL-ONE Knowledge Representation System”, Cognitive Science, Vol.9, No.2, 1985.
3. Brown, R. and Parker, D.S., “LAURA: A Formal Data Model and her Logical Design Methodology”, Proc. of the 9th Int'l Conf. on Very Large Database Systems, pp.206–217, 1983.
4. Carpenter, B., “The Logic of Typed Feature Structures”, Cambridge University Press, 1992.
5. Chomicki, J. and Imieliński, T., “Temporal Deductive Databases and Infinite Objects”, Proc. of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp.61–73, 1988.