1. A lattice-theoretic approach to computations based on a calculus of partially ordered type structures;Aït-Kaci,1984
2. Terminological cycles in KL-ONE-based knowledge representation languages;Baader,1990
3. Terminological knowledge representation: a proposal for a terminological logic;Baader;DFKI Tech. Memo TM-90-04,1990
4. International Workshop on Terminological Logics,1991