Franz Baader Alexander Borgida Deborah L. McGuinness Matching in Description Logics: Preliminary Results. 15-34 http://link.springer.de/link/service/series/0558/bibs/1453/14530015.htm 1998 conf/iccs/1998 ICCS db/conf/iccs/iccs98.html#BaaderBM98