Denys Duchier, Yannick Parmentier Constraint Solving and Language Processing - 2013 ISBN: 978-3-642-41578-4 Subjects--Topical Terms: Information Storage and RetrievalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware Engineering Programming Languages, Compilers, InterpretersComputer Science