Law, Y.; Lee, J.; Woo, M. H.; Walsh, T. A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. AAAI 2011, 25, 61-67.