The problem of choosing the type of subsumption to use
scientific article; zbMATH DE number 4213485