1. An algebraic semantics approach to the effective resolution of type equations;Aït-Kaci;Theor. Comput. Sci.,1986
2. A lattice-theoretic approach to computation based on a calculus of partially ordered type structures;Aït-Kaci,1984
3. LOGIN: a logic programming language with built-in inheritance;Aït-Kaci;J. Logic Program.,1986
4. CLASSIC: a structural data model for objects;Borgida,1989
5. The tractability of subsumption in frame-based description languages;Brachman,1984