KRYPTON: A functional approach to knowledge representation (1983)

by R J Brachman, R E Fikes, H J Levesque
Venue:IEEE Computer:67–73