Bernhard Haslhofer ; Hierarchies in ML AND TheWebConf
Common descendants