Flattening and saturation: Two representation changes for generalization
generalization with background knowledge
scientific article; zbMATH DE number 569309