id: 70450701 dt: a an: 70450701 au: Michelucci, Dominique; Foufou, Sebti ti: Interrogating witnesses for geometric constraint solving so: Symposium on Solid and Physical Modeling, 343-348 (2009). py: 2009 pu: la: EN cc: ut: ci: li: doi:10.1145/1629255.1629301