Living with CLASSIC: When and How to Use a KL-ONE-Like Language, in: Formal Aspects of Semantic Networks (1990)

by R J Brachman, D L McGuinness, P F Patel-Schneider, L A Resnick, A Borgida