Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schmeider, Lori A. Resnick, and Alexander Borgida. Living with CLASSIC: When and How to Use a KL-ONE-Like Language. In Principles of Semantic Networks: Explorations in the Representation of Knowledge, pages 401-456. Morgan Kaufmann Publishers, San Mateo, CA, 1991. (pdf) (bibtex: Brachman-1991-LWC).