TYPICAL a knowledge representation system based on type specification for automated discovery and inference - Haase, Kenneth W. (MIT Artificial Intelligence Laboratory, 1987)