["An Essential Hybrid Reasoning System: Knowledge and Symbol

Level Accounts of KRYPTON", R.J. Brachman et al, Proc

IJCAI-85, 1985].