"An Algorithm for Adapting Cases Represented in ALC."

Julien Cojan, Jean Lieber (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics