Yolanda Gil, Pedro A. González: Subsumption-Based Matching: Bringing Semantics to Goals. Description Logics 1996: 116-118