Hassan Aït-Kaci Type Subsumption as a Model of Computation. 115-139 1984 Expert Database Workshop db/conf/eds/eds84.html#Ait-Kaci84