@incollection {GrSa11,
    AUTHOR = {Greuet, Aur{\'e}lien and Safey El Din, Mohab},
     TITLE = {Deciding reachability of the infimum of a multivariate
              polynomial},
 BOOKTITLE = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
              {S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
     PAGES = {131--138},
 PUBLISHER = {ACM},
   ADDRESS = {New York},
      YEAR = {2011},
   MRCLASS = {68W20 (65K99 68W30 90C26 90C59)},
  MRNUMBER = {2895204},
       DOI = {10.1145/1993886.1993910},
       URL = {http://dx.doi.org/10.1145/1993886.1993910},
}