Krypton: A functional approach to knowledge representation (1982)

by Richard E Fikes Brachman, J Hector
Venue:Strategies for Natural Language Processing, chapter 24. Lawrence Erlbaum Associates