Automatic generation of polynomial invariants of bounded degree using abstract interpretation
scientific article; zbMATH DE number 5117724