Matching under side conditions in description logics (2001)

by F Baader, S Brandt, R Küsters
Venue:Proc. of IJCAI-01