Ronald J. Brachman Richard Fikes Hector J. Levesque Krypton: A Functional Approach to Knowledge Representation. 67-73 1983 16 IEEE Computer 10 db/journals/computer/computer16.html#BrachmanFL83