"SkyBlue: A Multi-Way Local Propagation Constraint Solver for User Interface Construction"
