C. Bessiere, G. Katsirelos, N. Narodytska, C.-G. Quimper, and T. Walsh, “Propagating Conjunctions of AllDifferent Constraints”, AAAI, vol. 24, no. 1, pp. 27–32, Jul. 2010.