Talbot, J.-M., Devienne, P., & Tison, S. (2000). Generalized Definite Set Constraints. Constraints, 5(1/2), 161-202.