A minimalistic look at widening operators
scientific article; zbMATH DE number 5677843