The Role of Frame-Based Representation in Reasoning - Fikes, R; Kehler, T (Comm. ACM, 1985)