Bobrow and Winograd (1977)
Bobrow D.G. and Winograd T. (1977)
An overview of KRL -- a knowledge representation language
Technical Report R76/581 Stanford University