Brachman, R.; Gilbert, P. V.; and Levesque, H. "An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON"

Proceedings of the Ninth International Joint Confe (1985) Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence. 1985  

Languages mentioned KRYPTON {1983}