An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. - Ronald J. Brachman; Victoria P. Gilbert; Hector J. Levesque (IJCAI, 1985)