Denys Duchier

Constraint Solving and Language Processing