"The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces"
