1. A Lattice Theoretic Approach to Computation Based on a Calculus of Partially Ordered Type Structures;Aït-Kaci,1984
2. Description logics;Baader,2008
3. Data models as constraint systems: a key to the semantic web;Aït-Kaci;Constr. Process. Lett.,2007
4. A feature logic with subsorts;Smolka;LILOG-Report,1988
5. The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution;Carpenter,1992