Constraint Solving and Language Processing : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers - Denys Duchier, Yannick Parmentier ((Lecture Notes in Computer Science))