Fikes and Kehler (1985)

Fikes R. and Kehler T. (1985)

The role of frame-based representation in reasoning

CACM 28, pp. 904-920