Explaining alldifferent. - Downing, Nicholas; Feydy, Thibaut; Stuckey, Peter J. (2012)