A Proposal for a Glass-Box Approach for Subsumption Checking. - Quentin Elhaik; Marie-Christine Rousset; Marie-Claude Gaudel (Description Logics, 1996)

Making an ABox Persistent. - Quentin Elhaik; Marie-Christine Rousset (Description Logics, 1998)

Generating Random Benchmarks for Description Logics. - Quentin Elhaik; Marie-Christine Rousset; Bernard Ycart (Description Logics, 1998)