Y. Law, J. Lee, M. H. Woo, and T. Walsh, “A Comparison of Lex Bounds for Multiset Variables in Constraint Programming”, AAAI, vol. 25, no. 1, pp. 61-67, Aug. 2011.