Ulrich Reimer A System-Controlled Multi-Type Specialization Hierarchy. 173-187 1984 Expert Database Workshop db/conf/eds/eds84.html#Reimer84