"Semantic Subtyping for Objects and Classes."

Ornela Dardha, Daniele Gorla, Daniele Varacca (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics