Enric Rodríguez-Carbonell Deepak Kapur Automatic generation of polynomial invariants of bounded degree using abstract interpretation. 54-75 2007 64 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/j.scico.2006.03.003 db/journals/scp/scp64.html#Rodriguez-CarbonellK07