Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
scientific article; zbMATH DE number 6502611