1. Back and forth between modal logic and classical logic;Andreka;J. Int. Gp. Pure Appl. Logic,1995
2. A formal definition for expressive power of Knowledge Representation Languages;Baader,1990
3. Terminological knowledge representation: a proposal for a terminological logic;Baader,1992
4. Description logics in data management;Borgida;IEEE Trans. Knowledge Data Eng.,1995
5. Loading data into description reasoners;Borgida,1993