Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics.

Marie-Christine Rousset, Pascale Hors

Browse the full ECAI paper archive.