Marko Samer Stefan Szeider Tractable Cases of the Extended Global Cardinality Constraint. 67-74 2008 CATS http://crpit.com/abstracts/CRPITV77Samer.html conf/cats/2008 db/conf/cats/cats2008.html#SamerS08