A regular language membership constraint for finite sequences of variables (2004)

by G Pesant
Venue:Proc. CP