Richard Fikes Tom Kehler The Role of Frame-Based Representation in Reasoning. 904-920 1985 28 Commun. ACM 9 db/journals/cacm/cacm28.html#FikesK85