An interference matching technique for inducing abstractions (1978)

by F Hayes-Roth, J McDermott
Venue:Communications of the ACM