Constraint Solving and Language Processing - Parmentier, Yannick (Springer Berlin Heidelberg, 2013)