Readings in Knowledge Represenation, chapter KRYPTON: A functional approach to Knowledge Representation (1985)

by Ronald J Brachman, Richard E Fikes, Hector J Levesque