Brachman, R. J. et al. Living with CLASSIC: When and How to Use a KL-ONE-LikeLanguage,'' in J. Sowa, (réd.), Principles of Semantic Networks: Explorations in theRepresentation of Knowledge , Morgan-Kaufmann: San Mateo, California, 1991, pages 401-456.