Axel Simon Andy King Widening Polyhedra with Landmarks. 166-182 2006 conf/aplas/2006 APLAS http://dx.doi.org/10.1007/11924661_11 db/conf/aplas/aplas2006.html#SimonK06