An explanation-based, visual debugger for one-way constraints. - Bradley T. Vander Zanden; David K. Baker; Jing Jin (UIST, 2004)