Lugar de publicación Space-efficient data structures for the inference of subsumption and disjointness relations. 55(2):195-219. 2025
