Fikes and Kehler (1985)
Fikes R. and Kehler T. (1985)
The role of frame-based representation in reasoning
CACM 28, pp. 904-920