Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers - Duchier, Denys; Parmentier, Yannick (Springer Berlin Heidelberg : Imprint: Springer, 2013)