Alan Borning, Bjørn N. Freeman-Benson: The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces. CP 1995: 624-628