@InProceedings{Grandon2006b, author = {C. Grand\'on and A. Goldsztejn}, title = {Inner {A}proximation of {D}istance {C}onstraints with {E}xistentially {Q}uantified {P}arameters}, booktitle = {SAC '06: Proceedings of the 2006 ACM symposium on Applied computing}, year = {2006}, isbn = {1-59593-108-2}, pages = {1660--1661}, location = {Dijon, France}, doi = {http://doi.acm.org/10.1145/1141277.1141668}, publisher = {ACM Press}, address = {New York, NY, USA}, url = {www-sop.inria.fr/coprin/cgrandon/Publica/index.html} }