On subsumption and semiunification in feature algebras
scientific article; zbMATH DE number 64255
scientific article