Brachman, R. ; R. Fikes, H. Levesque, KRYPTON: a functional approach to knowledge representation, IEEE Computer 16 (1983) 67-73.

Languages mentioned

• KRYPTON {1983}