Yugyung Lee
-
Efficient transitive closure reasoning in a combined class/part/containment hierarchy
Knowledge and Information Systems