Christian Bessiere George Katsirelos Nina Narodytska Claude-Guy Quimper Toby Walsh Decompositions of All Different, Global Cardinality and Related Constraints. 419-424 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-077.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#BessiereKNQW09