Add reference to GAC Alldiff algorithm