"Accurate reification of complete supertype information for dynamic ..."

Andrea Rosà, Eduardo Rosales, Walter Binder (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics