"An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON", R.J. Brachman et al, Proc IJCAI-85, 1985.
This article (or an earlier version of it) contains material from FOLDOC, used with permission.