@Techreport{Grandon2006,
  author     = {C. Grand\'on and B. Neveu},
  title      = {A {S}pecific {Q}uantifier {E}limination for {I}nner {B}ox
               {T}est in {D}istance {C}onstraints with {U}ncertainties},
  month      = {April},
  year       = {2006},
  institution= {INRIA},
  number     = {5883},
  type       = {Research Report},
  url        = {http://www.inria.fr/rrrt/rr-5883.html}
}