Jean-Marc Talbot Philippe Devienne Sophie Tison Generalized Definite Set Constraints. 161-202 2000 5 Constraints 1/2 db/journals/constraints/constraints5.html#TalbotDT00