"Description Logics for Shape Analysis."

Lilia Georgieva, Patrick Maier (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics