Xavier Allamigeon Stephane Gaubert Eric Goubault Inferring Min and Max Invariants Using Max-Plus Polyhedra. 189-204 2008 SAS https://doi.org/10.1007/978-3-540-69166-2_13 conf/sas/2008 db/conf/sas/sas2008.html#AllamigeonGG08