Discovery of invariant equalities in programs over data fields
scientific article; zbMATH DE number 486912