SUBEX: A Focus of Attention Technique for Rule-Based Inference. - K. W. Whiting; Peter D. Holden; Michael W. Dwyer; Karl G. Kempf (CAIA, 1985)