Subsumption Computation on an Object-Oriented Data Model. - Artale, Alessandro; Cesarini, Francesca; Soda, Giovanni (1991)