Talbot, Jean-Marc Programming Logics, MPI for Informatics, Max Planck Society;
Talbot, J.-M., Devienne, P., & Tison, S. (2000). Generalized Definite Set Constraints. Constraints, 5(1/2), 161-202.