Generalizations of algorithms that find invariant relationships in programs over algebra of terms
scientific article; zbMATH DE number 1051128
scientific article