Constraint solving and language processing : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers (2013)