Text this: Computing and restoring global inverse consistency in interactive constraint satisfaction.