Krypton: A functional approach to knowledge representation - Brachman, RJ; Fikes, R; Levesque, H (Computer, 1983)