Sebastian Brand Nina Narodytska Claude-Guy Quimper Peter J. Stuckey Toby Walsh Encodings of the Sequence Constraint. 210-224 2007 conf/cp/2007 CP http://dx.doi.org/10.1007/978-3-540-74970-7_17 db/conf/cp/cp2007.html#BrandNQSW07