Kim Marriott Sitt Sen Chok QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications. 229-254 2002 7 Constraints 3-4 db/journals/constraints/constraints7.html#MarriottC02