Rewriting concepts using terminologies (2000)

by F Baader, R Kusters, R Molitor
Venue:In KR