Inheritance hierarchies: Semantics and unifications
scientific article; zbMATH DE number 4111982
scientific article