Cliff Joslyn;Luis Rocha
-;-
Efficient transitive closure reasoning in a combined class/part/containment hierarchy
Knowledge and Information Systems