The CLASSIC knowledge representation system: Guiding principles and implementation rational (1991)

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