John Barnden;Kankanahalli Srinivas
-;-
Efficient transitive closure reasoning in a combined class/part/containment hierarchy
Knowledge and Information Systems