Kim Marriott Sitt Chen Chok Alan Finlay A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications. 340-354 http://link.springer.de/link/service/series/0558/bibs/1520/15200340.htm 1998 conf/cp/1998 CP db/conf/cp/cp98.html#MarriotCF98