Philip J. Charles Jacob M. Howe Andy King Integer Polyhedra for Program Analysis. 85-99 2009 AAIM http://dx.doi.org/10.1007/978-3-642-02158-9_9 conf/aaim/2009 db/conf/aaim/aaim2009.html#CharlesHK09