An Interference Matching Technique for Inducing Abstractions. - Hayes-Roth, Frederick; McDermott, John; Montgomery, Christine A. (Communications of the ACM, 1978)