Nicholas Downing, Thibaut Feydy, Peter J. Stuckey. Explaining alldifferent. In Mark Reynolds, Bruce H. Thomas, editors, Thirty-Fifth Australasian Computer Science Conference, ACSC 2012, Melbourne, Australia, January 2012. Volume 122 of CRPIT, pages 115-124, Australian Computer Society, 2012. [doi]
Abstract is missing.