Peter Haunold Stéphane Grumbach Gabriel M. Kuper Zoé Lacroix Linear Constraints: Geometric Objects Represented by Inequalities. 429-440 1997 conf/cosit/1997 COSIT db/conf/cosit/cosit97.html#HaunoldGKL97 http://dx.doi.org/10.1007/3-540-63623-4_65