["Towards a Knowledge Description Language", A. Borgida et al,

in On Knowledge Base Management Systems, J. Mylopoulos et al

eds, Springer 1986].